{"id":"W4285600159","doi":"10.24963/ijcai.2022/253","title":"Large Neighbourhood Search for Anytime MaxSAT Solving","year":2022,"lang":"en","type":"article","venue":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","topic":"Vehicle Routing Optimization Methods","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Maximum satisfiability problem; Solver; Neighbourhood (mathematics); Computer science; Boolean satisfiability problem; Limit (mathematics); Mathematical optimization; Satisfiability; Algorithm; Mathematics; Boolean function","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.001803396,0.000774102,0.0008644761,0.0005615675,0.0006611172,0.001133916,0.001652491,0.001230034,0.007936391],"category_scores_gemma":[0.008211076,0.0004330909,0.001102384,0.0009227993,0.001074447,0.001983709,0.001908865,0.001824038,0.001417375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001117274,"about_ca_system_score_gemma":0.001522789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00278472,"about_ca_topic_score_gemma":0.00714495,"domain_scores_codex":[0.9988253,0.0005413343,0.00006136494,0.0001828365,0.0002864184,0.0001028603],"domain_scores_gemma":[0.9974357,0.001719718,0.000157107,0.0003640189,0.0002353308,0.00008820186],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000202701,0.00008479662,0.0008417522,0.0003185466,0.0000594129,0.0001291678,0.0001605316,0.7825508,0.003394239,0.08290818,0.008643262,0.1207066],"study_design_scores_gemma":[0.00004319954,0.00003842797,0.000078707,0.00002757755,0.00001144381,0.00002790644,0.00002364716,0.9532536,0.001744041,0.03937575,0.005365857,0.000009866238],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01789028,0.0005980623,0.9674919,0.000477798,0.0001385001,0.00008338947,0.0001418766,0.00202418,0.01115406],"genre_scores_gemma":[0.2932355,0.0003805355,0.6988485,0.0002797612,0.00009321333,0.0002935962,0.0005150443,0.000743754,0.005610108],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007936391,"threshold_uncertainty_score":0.02654988,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06885179694586264,"score_gpt":0.3000225798449502,"score_spread":0.2311707828990875,"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."}}