{"id":"W2093448135","doi":"10.1016/s0012-365x(00)00166-7","title":"On generalized constraints and certificates","year":2001,"lang":"en","type":"article","venue":"Discrete Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"University of Calgary","keywords":"Mathematics; Boolean function; Boolean expression; Permutation (music); Constant (computer programming); Discrete mathematics; Parity function; Set (abstract data type); Complete Boolean algebra; Maximum satisfiability problem; Boolean network; Two-element Boolean algebra; Product term; Standard Boolean model; Combinatorics; And-inverter graph; Algebra over a field; Computer science; Pure mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0000826278,0.0001062147,0.0001313136,0.00003580478,0.00007682171,0.00008423157,0.0002559395,0.00003053235,0.0000428843],"category_scores_gemma":[0.00005427833,0.00007798274,0.00003761018,0.0001086252,0.00009569291,0.0001180403,0.00007540843,0.0000577413,0.00006497286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007306614,"about_ca_system_score_gemma":0.000006493547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":5.487221e-7,"about_ca_topic_score_gemma":3.951264e-7,"domain_scores_codex":[0.9993471,0.00001577346,0.0001467689,0.0001959486,0.0001230781,0.0001713205],"domain_scores_gemma":[0.9994277,0.0001127708,0.00005585746,0.0003182932,0.00001698825,0.0000684304],"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.000001638373,0.0000299906,0.00003817731,0.00001207235,0.000008057644,0.00001704071,0.0005181787,0.00002347743,0.0004447138,0.9899907,0.0001491869,0.008766741],"study_design_scores_gemma":[0.0003330145,0.00006551841,0.0001975718,0.00003431228,0.000007157513,0.00008555307,0.0001021473,0.04410649,0.001138531,0.9527902,0.0009189729,0.0002205501],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1365429,0.00009958637,0.8492246,0.001120073,0.00007996584,0.0001321045,0.000002085906,0.0001626121,0.01263603],"genre_scores_gemma":[0.8856231,0.00004294583,0.1135916,0.0003431459,0.00001801561,0.000008316136,0.000001707065,0.000007703454,0.0003634648],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7490802,"threshold_uncertainty_score":0.3180044,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02833773675154287,"score_gpt":0.2662817561944066,"score_spread":0.2379440194428637,"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."}}