{"id":"W123456301","doi":"","title":"Formal Description Techniques for CSPs and TCSPs.","year":2004,"lang":"en","type":"article","venue":"Software Engineering and Knowledge Engineering","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Computer science; Constraint satisfaction problem; Constraint satisfaction; Scheduling (production processes); Theoretical computer science; Variety (cybernetics); Model checking; Set (abstract data type); Constraint (computer-aided design); Formal specification; Temporal logic; Programming language; Mathematical optimization; Artificial intelligence; Mathematics","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.007865298,0.00256685,0.001398212,0.003153475,0.001807618,0.003743229,0.003716856,0.002006927,0.0116812],"category_scores_gemma":[0.01571282,0.001563946,0.005494973,0.004078588,0.004491752,0.007103293,0.003750646,0.007326131,0.004511917],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003446769,"about_ca_system_score_gemma":0.004957259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006122297,"about_ca_topic_score_gemma":0.005418662,"domain_scores_codex":[0.9927475,0.002708823,0.001146288,0.0007671437,0.002249459,0.0003807931],"domain_scores_gemma":[0.9873521,0.008049115,0.001155807,0.001744101,0.001454622,0.0002441804],"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.00001508602,0.00003017706,0.00009229445,0.0004065307,0.00004031449,0.00016606,0.0003040593,0.01010993,0.0007132183,0.962384,0.005895378,0.01984303],"study_design_scores_gemma":[0.00005939504,0.00003910676,0.0000746403,0.0003066517,0.00004945699,0.0003612177,0.0001643363,0.04726037,0.001911283,0.8336105,0.1161158,0.00004721686],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004293417,0.001130898,0.9919458,0.0005923571,0.0001254627,0.0002525927,0.0004663034,0.0004527169,0.004604471],"genre_scores_gemma":[0.02823214,0.004476362,0.9550575,0.00104323,0.0003907746,0.002532024,0.002516194,0.0003614508,0.005390275],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0116812,"threshold_uncertainty_score":0.04159617,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007615484534558925,"score_gpt":0.2023658169396784,"score_spread":0.1947503324051195,"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."}}