{"id":"W2103312793","doi":"10.1109/cicc.1988.20785","title":"Constraint propagation and design interaction in an object orientated IC design environment","year":2003,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Smalltalk; Constraint (computer-aided design); Local consistency; Computer science; Consistency (knowledge bases); Object (grammar); Object-oriented design; Object-oriented programming; Programming language; Theoretical computer science; Constraint satisfaction; Human–computer interaction; Artificial intelligence; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.0002813505,0.0001050734,0.0000881021,0.00009204221,0.00002113442,0.00003017406,0.00002764715,0.00005791942,0.0001371484],"category_scores_gemma":[0.00001138547,0.00009910537,0.00000912316,0.00006308507,0.0000233757,0.0002334013,0.000003226078,0.00009081129,0.00001210466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001012097,"about_ca_system_score_gemma":0.000009046158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005729748,"about_ca_topic_score_gemma":0.000002332041,"domain_scores_codex":[0.9993941,0.0001208601,0.000156241,0.0001363685,0.00006272706,0.000129736],"domain_scores_gemma":[0.999809,0.00003729841,0.00001535784,0.00008828382,0.000006462821,0.0000436431],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00006479843,0.0002196267,0.001642215,0.00006429225,0.00004065223,0.00004441567,0.002068835,0.08977973,0.8086721,0.00234381,0.0006675309,0.09439197],"study_design_scores_gemma":[0.0004318857,0.0003424045,0.0007433151,0.00002767844,0.00001006177,0.00004085397,0.0004196072,0.1575346,0.8389966,0.0009279221,0.0002359864,0.0002890202],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06193676,0.00003784812,0.936035,0.000003784023,0.00003919355,0.000471224,3.944295e-7,0.0002599838,0.00121581],"genre_scores_gemma":[0.9480409,0.00006693698,0.05177126,0.00001300815,0.000005252196,0.00006254596,0.000003351611,0.00001535701,0.00002138223],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8861042,"threshold_uncertainty_score":0.40414,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02577965509000008,"score_gpt":0.2295820644340355,"score_spread":0.2038024093440354,"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."}}