{"id":19,"date":"2026-02-06T15:57:10","date_gmt":"2026-02-06T14:57:10","guid":{"rendered":"https:\/\/hub.imt-atlantique.fr\/soft2026\/?page_id=19"},"modified":"2026-05-29T11:42:19","modified_gmt":"2026-05-29T09:42:19","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/hub.imt-atlantique.fr\/soft2026\/?page_id=19","title":{"rendered":"Accepted Papers"},"content":{"rendered":"\n<ul class=\"wp-block-list\">\n<li><strong>Aperture: an Anytime, Complete, and Incremental Solver for MaxSAT and Beyond (Work-in-Progress)<\/strong><br>Alexander Nadel, Yam Slonimski, and Ofer Strichman<\/li>\n\n\n\n<li><strong>Fair Constraint Satisfaction: An Approximate Algorithm and Preliminary Results<\/strong><br>Javier Larrosa, David Garc\u00eda-Soriano, and Miguel Escribano<\/li>\n\n\n\n<li><strong>On the use of ML and LLM for hard scheduling problems<\/strong><br>Guillaume Pov\u00e9da and Florent Teichteil-Koenigsbuch<\/li>\n\n\n\n<li><strong>Memorizing Unified Graph and Language Representations for SMT Algorithm Selection<\/strong> <em>(accepted to CP 2026)<\/em><br>Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, and Vijay Ganesh<\/li>\n\n\n\n<li><strong>Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT<\/strong> <em>(accepted to CP 2026)<\/em><br>Jialu Zhang, Chu-Min Li, Sami Cherif, and Shuolin Li<\/li>\n\n\n\n<li><strong>Pseudo-Boolean Conflict Analysis<\/strong><br>Benjamin Bog\u00f8, Wietze Koops, Jakob Nordstr\u00f6m, and Alexander Tesch<\/li>\n\n\n\n<li><strong>Quadratic Assignment Problems in Cost Function Networks<\/strong> <em>(extended version of CPAIOR 2026)<\/em><br>Guidio Sewa, Coralie Marchau, David Allouche, Simon de Givry, George Katsirelos, and Thomas Schiex<\/li>\n\n\n\n<li><strong>Efficiently Solving Constraint Optimization Problems Using Learning-Based Techniques<\/strong><br>Romaissa Ghlib, Abdelkader Ouali, Jean-Luc Lamotte, and Samir Loudni <\/li>\n\n\n\n<li><strong>Certified Implicit Hitting Set Solving with Local Search for Pseudo-Boolean Optimization<\/strong><br>Benjamin Bog\u00f8, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordstr\u00f6m, Marc Vinyals, and Qingzhao Wu<\/li>\n<\/ul>\n\n\n\n<pre class=\"wp-block-code\"><code><\/code><\/pre>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-19","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/hub.imt-atlantique.fr\/soft2026\/index.php?rest_route=\/wp\/v2\/pages\/19","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hub.imt-atlantique.fr\/soft2026\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hub.imt-atlantique.fr\/soft2026\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hub.imt-atlantique.fr\/soft2026\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/hub.imt-atlantique.fr\/soft2026\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=19"}],"version-history":[{"count":4,"href":"https:\/\/hub.imt-atlantique.fr\/soft2026\/index.php?rest_route=\/wp\/v2\/pages\/19\/revisions"}],"predecessor-version":[{"id":177,"href":"https:\/\/hub.imt-atlantique.fr\/soft2026\/index.php?rest_route=\/wp\/v2\/pages\/19\/revisions\/177"}],"wp:attachment":[{"href":"https:\/\/hub.imt-atlantique.fr\/soft2026\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=19"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}