{"id":"W7144599243","doi":"","title":"A short implicant of a CNF formula with many satisfying assignments","year":2016,"lang":"en","type":"article","venue":"Institutional Repositories DataBase (IRDB)","topic":"Holomorphic and Operator Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Japan Society for the Promotion of Science; Banff International Research Station for Mathematical Innovation and Discovery; Ministry of Education, Culture, Sports, Science and Technology; National Science Foundation","keywords":"Algebra over a field; Implicant; Conjunctive normal form; Propositional calculus; Minification","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.00293163,0.001174299,0.0009898923,0.002177101,0.003684263,0.004082697,0.001743305,0.00229158,0.01708494],"category_scores_gemma":[0.008821181,0.001126896,0.001788673,0.00298687,0.004234428,0.009349904,0.003017212,0.005992838,0.001775518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002284394,"about_ca_system_score_gemma":0.001627571,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004070107,"about_ca_topic_score_gemma":0.004132247,"domain_scores_codex":[0.9973602,0.0005392417,0.0002384042,0.0006996812,0.0007186452,0.0004439037],"domain_scores_gemma":[0.9945639,0.00342446,0.0002559068,0.0005304554,0.0009436302,0.0002817367],"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.0001539672,0.00004093839,0.0007342453,0.0001414566,0.00002970055,0.0007256153,0.0004316739,0.0007188462,0.001407071,0.9636763,0.01415844,0.01778184],"study_design_scores_gemma":[0.00003814873,0.00003151444,0.0002951435,0.00004367355,0.00005468704,0.0005894384,0.0001720521,0.006544898,0.001244092,0.9699878,0.02096141,0.000036947],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1001527,0.001767977,0.7187053,0.01900052,0.00391133,0.0003997567,0.004531485,0.004726899,0.146804],"genre_scores_gemma":[0.7482824,0.000805266,0.1943699,0.004328758,0.00177873,0.0003929602,0.003542738,0.001365577,0.04513375],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01708494,"threshold_uncertainty_score":0.05715477,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04131152175018799,"score_gpt":0.2995546931770697,"score_spread":0.2582431714268817,"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."}}