{"id":"W1862298752","doi":"10.1007/978-3-642-14186-7_24","title":"Improved Local Search for Circuit Satisfiability","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Boolean satisfiability problem; Computer science; Benchmark (surveying); Satisfiability; Local search (optimization); Reduction (mathematics); Constraint (computer-aided design); Electronic circuit; Algorithm; Search algorithm; Boolean circuit; Constraint satisfaction problem; Theoretical computer science; Boolean function; Mathematics; Artificial intelligence; Probabilistic logic","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"],"consensus_categories":[],"category_scores_codex":[0.00369887,0.0005065846,0.0005386068,0.0005996563,0.000371087,0.0005188468,0.004770482,0.0006502033,0.00002116324],"category_scores_gemma":[0.0003217648,0.0004806013,0.0001846399,0.0005348884,0.001706747,0.0007474652,0.001228062,0.001476478,0.00002349178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004527149,"about_ca_system_score_gemma":0.0009771165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003548067,"about_ca_topic_score_gemma":0.00007014522,"domain_scores_codex":[0.9955215,0.0000648627,0.0006492799,0.001988067,0.0009146819,0.0008615405],"domain_scores_gemma":[0.9954805,0.0009042693,0.0002623497,0.002551825,0.0005677131,0.0002333326],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006811946,0.00002033482,0.00001862522,0.00006783915,0.000004972439,0.000003333914,0.000391651,0.002276492,0.002052357,0.09920121,0.000001992825,0.8959544],"study_design_scores_gemma":[0.000232913,0.0002276892,0.0001495118,0.00007417142,0.000005061931,0.00002994721,1.143852e-7,0.7387679,0.0247863,0.2340216,0.001166729,0.0005380783],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006478875,0.00007958299,0.9937754,0.0003216681,0.00307833,0.001134388,0.00001273524,0.0001991892,0.00133388],"genre_scores_gemma":[0.06230339,0.000006675627,0.9364847,0.0005581602,0.0004258523,0.00004287852,0.000005582019,0.00003591039,0.0001368346],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8954163,"threshold_uncertainty_score":0.9997646,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03585265515694759,"score_gpt":0.2973369076002441,"score_spread":0.2614842524432965,"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."}}