{"id":"W4300632646","doi":"10.1109/case.1995.465302","title":"Program understanding as constraint satisfaction","year":2002,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Constraint satisfaction; Heuristics; Constraint programming; Source code; Programming language; Constraint satisfaction problem; Code (set theory); Heuristic; Template; Constraint (computer-aided design); Theoretical computer science; Software engineering; Artificial intelligence; Mathematical optimization","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004671592,0.001541045,0.001285454,0.002010395,0.001515016,0.005080175,0.002790059,0.002341573,0.008050042],"category_scores_gemma":[0.02375275,0.0009458051,0.002443349,0.004312939,0.006533431,0.007898905,0.003796437,0.003976645,0.001009497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003279855,"about_ca_system_score_gemma":0.003956433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01121399,"about_ca_topic_score_gemma":0.008486041,"domain_scores_codex":[0.9920838,0.003946211,0.0004696156,0.001162415,0.001964813,0.0003731521],"domain_scores_gemma":[0.9855924,0.01128662,0.0007640696,0.00124161,0.0009438096,0.0001715314],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005192173,0.00008111053,0.0003723319,0.0005728825,0.00007930735,0.0001512827,0.0007214691,0.09895514,0.0009773149,0.8077922,0.005683685,0.08456139],"study_design_scores_gemma":[0.00004178238,0.00003637629,0.000115792,0.0001110775,0.00003280688,0.00009333108,0.0002058899,0.1520316,0.001356912,0.8244976,0.02144463,0.00003226193],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004945779,0.000841892,0.9784527,0.002013589,0.00005391118,0.0002098857,0.0002802876,0.0004353091,0.01276668],"genre_scores_gemma":[0.1385948,0.002551449,0.8498914,0.001024191,0.0002062155,0.0007502227,0.001218582,0.000369271,0.005393828],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01121399,"threshold_uncertainty_score":0.02693009,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05621015687407088,"score_gpt":0.2647618314595699,"score_spread":0.2085516745854991,"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."}}