Maximum Satisfiability

Also known as MaxSAT

Ask about this topic

Momentum

0 papers in the last four weeks, with none the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 9

All topics
CardsList

  1. MiSS: A Logic-Driven Explanation of Minimal Sufficient Coalitions for Point Cloud Classifiers

    Jul 27, 2026Mengda Xing, Jean-Marie LagniezFeature AttributionExplainable Artificial Intelligence

    UA, CRIL · CRIL, Univ. Artois, Lens, France

  2. Maximum Satisfiability of Simple Temporal Problems

    Jul 26, 2026Johannes K. Fichte, Johanna Groven, Peter Jonsson +2Temporal ReasoningParameterized Complexity

    Department of Computer and Information Science (IDA) Linköping University

  3. Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience

    Jul 16, 2026Ruben MartinsLLM-Based Program SynthesisCombinatorial Optimization

    Carnegie Mellon University

  4. MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku

    Jul 14, 2026Pedro Orvalho, Guillem Alenyà, Felip ManyàVision-Language ModelsVLM Reasoning

    Artificial Intelligence Research Institute (IIIA), Consejo Superior de Investigaciones Científicas (CSIC), Barcelona, Catalonia, Spain · Institut de Robòtica i Informàtica Industrial (IRI-CSIC-UPC), Barcelona, Spain

  5. Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts

    Jun 30, 2026Rajeev Goré, Cormac KikkertAutomated Theorem ProvingCounterexample-Guided Refinement

    Faculty of Information Technology, Monash University, Australia · Cormac Kikkert Research

  6. Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability

    May 28, 2026Pedro Orvalho, Marta Kwiatkowska, Guillem Alenyà +1Large Language Model-Guided OptimizationLLM-Based Program Synthesis

    Artificial Intelligence Research Institute (IIIA) Consejo Superior de Investigaciones Científicas (CSIC) Barcelona, Catalonia, Spain · Department of Computer Science University of Oxford Oxford, UK · Institut de Robòtica i Informàtica Industrial (IRI-CSIC-UPC) Barcelona, Catalonia, Spain

  7. Optimal Counterfactual Search in Tree Ensembles: A Study Across Modeling and Solution Paradigms

    May 7, 2026Awa Khouna, Youssouf Emine, Julien Ferry +1Counterfactual ExplanationsMixed-Integer Linear Programming

    Polytechnique Montréal · Ivey Business School

  8. Are You the A-hole? A Fair, Multi-Perspective Ethical Reasoning Framework

    Apr 30, 2026Sheza Munir, Ahanaf Rodoshi, Sumin Lee +3Annotator DisagreementNeuro-Symbolic Reasoning

    Computer Science, University of Toronto

  9. A general optimization solver based on OP-to-MaxSAT reduction

    Apr 23, 2026Yuxin Zhao, Han Huang, Zhifeng HaoCombinatorial OptimizationMaximum Satisfiability

    School of Software Engineering, South China University of Technology, Guangzhou, 510006, China. · School of Software Engineering, Sun Yat-sen University, Zhuhai, 519082, China. · Department of Mathematics, College of Science, Shantou University, Shantou, 515063, China.