{"id":"W17380902","doi":"","title":"Symmetric component caching","year":2007,"lang":"en","type":"article","venue":"International Joint Conference on Artificial Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decomposition; Overhead (engineering); Homogeneous space; Pruning; Computer science; Constraint (computer-aided design); Mathematical optimization; Component (thermodynamics); Decomposition method (queueing theory); Space (punctuation); Mathematics; Algorithm; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007335767,0.0001879124,0.0001559648,0.0006567199,0.0001568162,0.0003800704,0.0007812475,0.00007664354,0.0005156772],"category_scores_gemma":[0.000255489,0.0001885623,0.00009739081,0.0005099197,0.00008387331,0.0004527954,0.0001546036,0.0002878304,0.0007516315],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001784996,"about_ca_system_score_gemma":0.00008337457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007843808,"about_ca_topic_score_gemma":0.00008355697,"domain_scores_codex":[0.9978946,0.00004812625,0.0006198316,0.0004735661,0.0006501209,0.0003137705],"domain_scores_gemma":[0.9987277,0.0001891789,0.0002006198,0.0003396821,0.0003854008,0.0001573967],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001140283,0.00006435179,0.00007880651,0.000001083212,0.00001000939,0.00001722144,0.0001312697,0.00124245,0.001841093,0.612491,0.00002632641,0.384085],"study_design_scores_gemma":[0.0001036349,0.0001848793,0.009950401,0.0001168393,0.000007142543,0.00008290058,0.0004342569,0.7706945,0.1011821,0.1142843,0.002261775,0.000697242],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006664277,0.000006351758,0.9398107,0.004210592,0.002200481,0.0001478989,0.000003923299,0.0002163035,0.04673947],"genre_scores_gemma":[0.9801382,0.00002535988,0.01876114,0.0007552139,0.0001510631,0.000006002117,0.000009367692,0.000008479404,0.0001452114],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9734739,"threshold_uncertainty_score":0.9660953,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09724514953681351,"score_gpt":0.3221370999008255,"score_spread":0.2248919503640119,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}