{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0030384,0.001441854,0.001893347,0.002677851,0.003960378,0.005773769,0.002791303,0.002370362,0.0184717],"category_scores_gemma":[0.0118371,0.001261194,0.002209993,0.00595614,0.01093027,0.02603104,0.007619566,0.008928055,0.001930843],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003369726,"about_ca_system_score_gemma":0.001749012,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005264577,"about_ca_topic_score_gemma":0.003802415,"domain_scores_codex":[0.9968036,0.001175139,0.0001783777,0.000700958,0.0007706429,0.0003713218],"domain_scores_gemma":[0.9922937,0.00477941,0.0004032845,0.001302572,0.0008271089,0.0003938982],"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.000009523511,0.00000400687,0.00003031569,0.00001728967,0.000003106701,0.00002381222,0.00009553015,0.000432407,0.00003115693,0.9964336,0.001028666,0.001890559],"study_design_scores_gemma":[0.000004827728,0.000001973733,0.0000193867,0.000009588639,0.000003266193,0.00001783904,0.00003083942,0.0006359782,0.00003165252,0.9958299,0.003411481,0.000003326559],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06492867,0.005844478,0.5473609,0.01711988,0.001915691,0.0001981373,0.001188554,0.0005093103,0.3609344],"genre_scores_gemma":[0.7879345,0.006950759,0.09676694,0.002885452,0.002527112,0.0003299224,0.00182293,0.0005664516,0.1002159],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0184717,"threshold_uncertainty_score":0.06179392,"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."}}