{"id":"W1886354439","doi":"10.1109/iscas.1989.100501","title":"Efficiency considerations for constraint generation in a symbolic compactor","year":2003,"lang":"en","type":"article","venue":"","topic":"Computer Graphics and Visualization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria; Memorial University of Newfoundland","funders":"","keywords":"Constraint (computer-aided design); Computer science; Grid; Theoretical computer science; Graph; 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.0002956503,0.00008284479,0.0001071541,0.0002018876,0.0001034599,0.0001909687,0.0001294334,0.00003766262,0.00002600414],"category_scores_gemma":[0.0001035406,0.00007850659,0.00004165871,0.0003121823,0.00002794972,0.0001716074,0.00002096504,0.00004072834,0.00000192869],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002122107,"about_ca_system_score_gemma":0.0001065165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001023161,"about_ca_topic_score_gemma":0.00005032968,"domain_scores_codex":[0.9992282,0.00005857203,0.0002345573,0.0002332274,0.00009100015,0.0001544182],"domain_scores_gemma":[0.9994474,0.0001331833,0.0000419559,0.000219551,0.0001113208,0.00004655403],"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":[1.292777e-7,0.00005857554,0.0002001137,0.000002381502,0.000001694872,5.552927e-7,0.0002254614,0.00005598196,0.0005271062,0.9974297,0.00108565,0.0004126641],"study_design_scores_gemma":[0.0004040475,0.00008892106,0.0002775364,0.00000619752,0.000001452774,0.00001516978,0.0000172081,0.8726088,0.01979506,0.1043515,0.002255003,0.000179035],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009245578,0.00002458182,0.9879559,0.0002416883,0.0001238035,0.0003720199,0.000001823755,0.000160228,0.001874395],"genre_scores_gemma":[0.8811597,0.000004656916,0.1182079,0.0005384363,0.0000153414,0.00004561213,0.000002845182,0.000003600959,0.00002194635],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8930781,"threshold_uncertainty_score":0.3201406,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0617047111733417,"score_gpt":0.3192261765955635,"score_spread":0.2575214654222218,"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."}}