{"id":"W2184947655","doi":"10.1109/wcre.1995.514719","title":"Program understanding as constraint satisfaction","year":2002,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Constraint satisfaction; Constraint programming; Heuristics; Programming language; Source code; Constraint satisfaction problem; Code (set theory); Software engineering; Theoretical computer science; 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.004905093,0.001600523,0.001395646,0.002088796,0.001588642,0.005257926,0.002909871,0.002553238,0.007127699],"category_scores_gemma":[0.0256891,0.001033023,0.002606447,0.004645547,0.006865478,0.007908511,0.003890239,0.004350257,0.0009002935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003140511,"about_ca_system_score_gemma":0.003808239,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01030828,"about_ca_topic_score_gemma":0.008002582,"domain_scores_codex":[0.9918987,0.004038671,0.0005016853,0.001227189,0.001960597,0.0003731267],"domain_scores_gemma":[0.983566,0.01305015,0.0008277709,0.001412387,0.0009552864,0.000188461],"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.00005804166,0.00008931517,0.000427105,0.0006463907,0.00009743249,0.0001808212,0.0007847545,0.1123256,0.001141831,0.7930701,0.005318916,0.08585956],"study_design_scores_gemma":[0.00004585988,0.00003898935,0.0001244605,0.0001122637,0.00003764144,0.0001072352,0.0002024626,0.1559083,0.001344257,0.8238555,0.0181891,0.00003391206],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005550105,0.0008870647,0.9791845,0.001971307,0.00005379751,0.0002139676,0.0002741025,0.000378389,0.01148679],"genre_scores_gemma":[0.1447981,0.002645318,0.8445519,0.000995576,0.0002063932,0.0007491729,0.001161452,0.0003124119,0.004579678],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01030828,"threshold_uncertainty_score":0.0259409,"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."}}