{"id":"W2963179392","doi":"10.23638/lmcs-13(1:1)2017","title":"Logical compactness and constraint satisfaction problems","year":2017,"lang":"en","type":"article","venue":"DOAJ (DOAJ: Directory of Open Access Journals)","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Royal Military College of Canada; Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Compact space; Constraint satisfaction problem; Computer science; Constraint satisfaction; Constraint (computer-aided design); Constraint satisfaction dual problem; Constraint logic programming; Local consistency; Theoretical computer science; Arithmetic; Mathematics; Artificial intelligence; Pure mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005629678,0.0008454198,0.0009107712,0.002295349,0.00190489,0.004148597,0.002061754,0.001871172,0.007795378],"category_scores_gemma":[0.02971743,0.0007010578,0.002064211,0.002714843,0.006593338,0.01424377,0.004450386,0.005313672,0.0006546595],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002988997,"about_ca_system_score_gemma":0.001229117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001917849,"about_ca_topic_score_gemma":0.001606254,"domain_scores_codex":[0.9909977,0.00333832,0.0005510928,0.001284791,0.002958644,0.0008695531],"domain_scores_gemma":[0.9283206,0.0622123,0.003050892,0.002265391,0.003031934,0.001118714],"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.00007771012,0.00008706027,0.001792745,0.0003171548,0.00005559887,0.0001978266,0.0005722469,0.01737811,0.001221291,0.9542863,0.002333775,0.0216802],"study_design_scores_gemma":[0.00002541998,0.00003046104,0.0008347401,0.0000408683,0.00001398749,0.0001170723,0.0002026838,0.03768659,0.0009952673,0.9575762,0.00245304,0.00002367564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1569279,0.002363414,0.7858973,0.01265988,0.0001232161,0.0002326363,0.0006294434,0.0003958708,0.04077028],"genre_scores_gemma":[0.8215473,0.001492019,0.1675989,0.00142656,0.00054862,0.0002353749,0.001182946,0.0001017775,0.005866511],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007795378,"threshold_uncertainty_score":0.02977294,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3609906485317839,"score_gpt":0.5772651838492405,"score_spread":0.2162745353174566,"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."}}