{"id":"W2087572620","doi":"10.5555/1015090.1015324","title":"Satisfiability and integer programming as complementary tools","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Integer programming; Satisfiability; Computer science; Linear programming; Integer (computer science); Boolean satisfiability problem; Theoretical computer science; Mathematical optimization; Algorithm; Mathematics; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004338234,0.001460575,0.001052851,0.002591167,0.0005168247,0.003338135,0.00195382,0.002075482,0.007658782],"category_scores_gemma":[0.01539014,0.001001758,0.001413672,0.003226578,0.003102368,0.007731978,0.003270448,0.005454727,0.00185863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009623822,"about_ca_system_score_gemma":0.001396443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007036864,"about_ca_topic_score_gemma":0.0009757217,"domain_scores_codex":[0.991413,0.00492385,0.0003901419,0.0007070455,0.002147115,0.0004189475],"domain_scores_gemma":[0.986158,0.0111997,0.0006575781,0.00122391,0.0005783862,0.0001823383],"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.0003107399,0.000312248,0.0007394602,0.0009867027,0.000149849,0.0002591883,0.000342727,0.03960369,0.007691715,0.6297995,0.00620226,0.3136019],"study_design_scores_gemma":[0.000215477,0.0002532807,0.0004746006,0.0004665836,0.0001546761,0.0005336045,0.0002706969,0.4281751,0.02018116,0.4953576,0.05383227,0.00008491425],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008186151,0.005633846,0.9625933,0.00223583,0.0003377834,0.0001363858,0.00008336192,0.001270461,0.01952289],"genre_scores_gemma":[0.1268127,0.003935568,0.8619451,0.0009121138,0.000392158,0.0003598513,0.000209761,0.0002567801,0.005176096],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007658782,"threshold_uncertainty_score":0.02562118,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0462836254713043,"score_gpt":0.3279257747107677,"score_spread":0.2816421492394634,"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."}}