{"id":"W2597306717","doi":"","title":"Robust Satisfiability of Constraint Satisfaction Problems.","year":2011,"lang":"en","type":"article","venue":"Homo Politicus (Academy of Humanities and Economics in Lodz)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Constraint satisfaction problem; Constraint (computer-aided design); Backtracking; Constraint satisfaction; Complexity of constraint satisfaction; Constraint satisfaction dual problem; Conjecture; Fraction (chemistry); Mathematics; Satisfiability; Characterization (materials science); Combinatorics; Constraint learning; Local consistency; Discrete mathematics; Computer science; Mathematical optimization; Statistics","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.0003158723,0.0001380003,0.0002910726,0.0002187565,0.00006314327,0.00003217872,0.0001752286,0.000110469,0.0001971265],"category_scores_gemma":[0.0000213523,0.0001529887,0.00005453799,0.00006231838,0.0004823431,0.000523475,0.00009191097,0.0001574892,0.000002361694],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008374552,"about_ca_system_score_gemma":0.00006339797,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008308161,"about_ca_topic_score_gemma":0.0005220329,"domain_scores_codex":[0.9987567,0.00004983194,0.0006282641,0.000271171,0.00006009044,0.0002339592],"domain_scores_gemma":[0.9994066,0.00009057474,0.0002666333,0.0001507171,0.00003493765,0.00005054723],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.000005609533,0.00003147726,0.04060305,0.0001021574,0.00001652263,2.544647e-7,0.003145189,0.0006054068,0.00001912133,0.9456205,0.000013643,0.009837064],"study_design_scores_gemma":[0.001136176,0.0001941791,0.7834046,0.0001246737,0.00002195663,0.00005418943,0.002690938,0.01441605,0.002397158,0.1946841,0.0003963705,0.000479647],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9635185,0.0001455136,0.0111746,0.0002168706,0.0001884018,0.0003353143,0.00004589135,0.0000493109,0.02432562],"genre_scores_gemma":[0.9887807,0.0002815694,0.01075425,0.0001076655,0.00001992939,0.00001000423,0.000001595373,0.000007170569,0.00003707234],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7509364,"threshold_uncertainty_score":0.6238697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0841047064910663,"score_gpt":0.2230269064912912,"score_spread":0.1389222000002249,"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."}}