{"id":"W2000038675","doi":"10.1142/s1469026808002193","title":"SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT","year":2008,"lang":"en","type":"article","venue":"International Journal of Computational Intelligence and Applications","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Satisfiability; Computer science; Completeness (order theory); Propositional calculus; Boolean satisfiability problem; Mathematical optimization; Range (aeronautics); Approximation algorithm; Conjunctive normal form; Local search (optimization); Set (abstract data type); Mathematics; Theoretical computer science; Algorithm","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":[],"consensus_categories":[],"category_scores_codex":[0.0005784839,0.0001007571,0.0001678659,0.0002310599,0.000157163,0.00009745694,0.0006206235,0.00004326491,0.000003024948],"category_scores_gemma":[0.00009031058,0.00009208632,0.00006172388,0.0001510448,0.0001989915,0.0005313532,0.000116943,0.0001164082,0.000005340468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008179002,"about_ca_system_score_gemma":0.0001057909,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005760157,"about_ca_topic_score_gemma":8.11282e-7,"domain_scores_codex":[0.9986306,0.00005525962,0.0005657523,0.000173208,0.0004704832,0.0001047302],"domain_scores_gemma":[0.9980317,0.0005709378,0.000248763,0.0001142322,0.0009503658,0.00008402335],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001501227,0.0001964438,0.0001474806,0.000361693,0.0002438497,0.000009045664,0.001014768,0.01777983,0.0002591395,0.873885,0.0001283013,0.1058243],"study_design_scores_gemma":[0.001041199,0.0009223342,0.002096423,0.0009003542,0.00007223891,0.003050942,0.001067354,0.8307506,0.01838541,0.1389852,0.002187459,0.0005405312],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004602219,0.0003250357,0.9939065,0.0004643671,0.0001774046,0.0003841242,0.000008773223,0.00002592525,0.0001056441],"genre_scores_gemma":[0.5950691,0.0001480472,0.4044839,0.00009638286,0.0001161313,0.00006404561,0.000006524039,0.000004681652,0.00001118002],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8129708,"threshold_uncertainty_score":0.3755171,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07812007125231435,"score_gpt":0.3857766504357405,"score_spread":0.3076565791834261,"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."}}