{"id":"W7019527964","doi":"","title":"Generating Hard and Realistic Boolean (Un)Satisfiability Problems.","year":2025,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Boolean function; Product term; Set (abstract data type); And-inverter graph; Class (philosophy); Feature (linguistics)","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":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.001011191,0.0006599463,0.000636325,0.00043832,0.001469202,0.0004482925,0.0007432869,0.0005912954,0.0001379181],"category_scores_gemma":[0.0009825075,0.0007411299,0.0001959743,0.0007571189,0.00005787771,0.001108325,0.0002594144,0.001089959,0.0000353423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004047932,"about_ca_system_score_gemma":0.0001472952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003202925,"about_ca_topic_score_gemma":0.002070174,"domain_scores_codex":[0.9957976,0.0004447316,0.0009797201,0.00158891,0.0006330829,0.0005559939],"domain_scores_gemma":[0.9973074,0.0002878767,0.000565553,0.001053203,0.0004866099,0.0002993218],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001785632,0.00006428082,0.0001096481,0.0004866342,0.0001010011,0.00001702769,0.00002742161,0.001242357,0.00377298,0.2030509,0.00001037905,0.7910995],"study_design_scores_gemma":[0.009705367,0.001159008,0.08507219,0.006742002,0.001746474,0.0004577384,0.001060076,0.2493689,0.06440783,0.4788929,0.08677282,0.01461473],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8306347,0.0009779253,0.003395919,0.0004702015,0.006646723,0.004027832,0.001656219,0.002700055,0.1494905],"genre_scores_gemma":[0.9125283,0.0004755914,0.076304,0.0007080391,0.00006294732,0.0002470289,0.001116429,0.0001052565,0.008452398],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7764848,"threshold_uncertainty_score":0.9998307,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01579205250820625,"score_gpt":0.2296376013085753,"score_spread":0.2138455488003691,"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."}}