Satisfiability

Ask about this topic

Momentum

3 papers in the last four weeks, level with the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 60

All topics
CardsList

  1. Compiling Sufficient Governance Context from Declared Losses and Reachable States: Exact Observation-Contract Synthesis with Cardinality and Cost Objectives

    Sep 22, 2026Gaston BesansonContractsInvariant Synthesis

    Universidad Torcuato Di Tella

  2. Solving Minimum Span Antibandwidth and Cyclic Antibandwidth Labeling Problems

    Sep 17, 2026Hieu Truong Xuan, Khanh To VanMaximum Independent SetNp-Hard

    Faculty of Information Technology, VNU University of Engineering and Technology, Xuan Thuy, Cau Giay, Ha Noi, 123105, Vietnam.

  3. Extending SMT Solving with Non-Ground Clause Learning

    Sep 12, 2026Yasmine Briefs, Christoph WeidenbachSatisfiability

    Max Planck Institute for Informatics, Saarbrücken, Germany · Graduate School of Computer Science, Saarland Informatics Campus, Saarbrücken, Germany

  4. Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding

    Sep 3, 2026Gaspard Quenard, Takudzwa Togarepi, Damien Pellier +1SatisfiabilityClassical Planning

    1Univ. Grenoble Alpes, France

  5. SOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification

    Sep 1, 2026Swapnil Bhattacharyya, Mayank BaranwalSatisfiabilityOptimization Modeling

    TCS Research, Mumbai · Indian Institute of Technology Bombay

  6. From Metaheuristics to Exact Methods: A CP-SAT Approach for Multi-Objective Healthcare Workforce Scheduling

    Aug 31, 2026Vipul Patel, Anirudh Deodhar, Dagnachew BirruJob Shop SchedulingSchedule

    1Phi Labs, Quantiphi

  7. Voting Method Synthesis on an Infinite Domain: A Possibility Theorem for Positive Involvement

    Aug 9, 2026Wesley H. HollidaySatisfiabilityMajority Voting

    University of California, Berkeley

  8. Neurosymbolic Discovery of Algebraic Graph Constructions

    Aug 8, 2026David Seka, Stefan SzeiderAcyclic GraphsAlgebraic Structures

    Algorithms and Complexity Group TU Wien, Vienna, Austria

  9. The Tell-Tale Trace: Detecting Reasoning Failures in LLMs Using Chain-of-Thought Dynamics

    Aug 4, 2026Shashwat Sourav, Aishwarya BalwaniLLM Reasoning StrategiesChain-of-Thought Reasoning

    Department of Physics, Washington University in St. Louis · Department of Developmental Neurobiology, St. Jude Children’s Research Hospital

  10. Verifiable Checks for Business Rule Consistency

    Aug 1, 2026Joseph Tafese, Milad Hooshyar, Sam Bayless +2SatisfiabilityCompliance

    University of Waterloo · Waterloo, Canada · Amazon +1

  11. LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean

    Jul 30, 2026Pablo Manrique, Stefan SzeiderSatisfiabilityTheorem Proving

    Algorithms and Complexity Group TU Wien, Vienna, Austria

  12. Maximum Satisfiability of Simple Temporal Problems

    Jul 26, 2026Johannes K. Fichte, Johanna Groven, Peter Jonsson +2Satisfiability

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

  13. Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning

    Jul 23, 2026Chufeng Jiang, Neng-Fa ZhouSatisfiabilityNeuro-Symbolic Framework

    Graduate Center, The City University of New York · The City University of New York New York, USA

  14. Global Difference Constraint Propagation for Constraint Programming

    Jul 22, 2026Lucas Kletzander, Jip J. Dekker, Andreas Schutt +1Constraint SatisfactionSatisfiability

    1Databases and Artificial Intelligence Group, TU Wien, Karlsplatz 13, Wien, 1040, Austria. · Department of Data Science and Artificial Intelligence, Monash University, Clayton, 3168, Victoria, Australia. · 3ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA), Melbourne, Victoria, Australia. +1

  15. Hard Rules, Soft Preferences: Bridging Reasoning, Learning, and Optimization for Personalized Packing Checklist Generation

    Jul 17, 2026Himel Dev, Madhusudan Basak, Tanmoy Sen +2JourneyConstraint Satisfaction

    Tech LLC · University of Massachusetts Amherst · University of Virginia

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

    Jul 16, 2026Ruben MartinsSatisfiabilityFunctional Code Solvers

    Carnegie Mellon University

  17. EZSMT Version 3, Matured

    Jul 15, 2026Yuliya LierlerSatisfiability

    University of Nebraska Omaha, USA

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

    Jul 14, 2026Pedro Orvalho, Guillem Alenyà, Felip ManyàSatisfiabilityRecent Vision-Language Models

    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

  19. From Patterns to Maze Structures: SMT-Based Path Synthesis and 2D/3D Construction

    Jul 8, 2026Shengyi WangMaze TaskSatisfiability

    Shanghai Qi Zhi Institute, China

  20. CP-WSP: A Declarative CP-SAT Framework for Configurable Multi-Constraint Workforce Scheduling

    Jul 6, 2026Vipul Patel, Anirudh Deodhar, Dagnachew BirruJob Shop SchedulingCombinatorial Optimization

    Phi Labs, Quantiphi

  21. CSB: A Counting and Sampling tool for Bit-vectors

    Jul 5, 2026Arijit Shaw, Kuldeep S. MeelSatisfiabilityCombinations

    IAI, TCG-CREST, Kolkata · Georgia Institute of Technology · University of Toronto

  22. LRAT-Catcher: Importing SAT Solver Certificates into Lean4 by Reflection

    Jul 1, 2026Stefan SzeiderSatisfiabilityTheorem Proving

    Algorithms and Complexity Group, TU Wien, Vienna, Austria

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

    Jun 30, 2026Rajeev Goré, Cormac KikkertSatisfiabilityTheorem Proving

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

  24. Analyzing the Narration Gap in LLM-Solver Loops

    Jun 17, 2026Zunchen Huang, Songgaojun DengLarge Language Model SafetyLLM Reasoning Strategies

    Centrum Wiskunde & Informatica, Amsterdam, The Netherlands · Eindhoven University of Technology, Eindhoven, The Netherlands

  25. Some Complexity Results for Robustness Verification for Binarized Neural Networks

    Jun 17, 2026Harshit Goyal, Sudakshina DuttaNeural Network VerificationRobustness Verification

    Indian Institute of Technology Goa

  26. Exploiting Search in Symbolic Numeric Planning with Patterns

    Jun 15, 2026Matteo Cardellini, Enrico GiunchigliaClassical PlanningSatisfiability

    DIBRIS, University of Genoa, Italy

  27. Unassigned Agents in Compilation-based Multi-agent Path Finding

    Jun 14, 2026Pavel SurynekMulti-Agent Path FindingMulti-Uav

    Faculty of Information Technology, Czech Technical University in Prague Thákurova 9, 163 00, Prague, Czechia

  28. A Study of Parallel Continuous Local Search

    Jun 4, 2026Cody J Christopher, Charles GrettonLarge Neighborhood SearchSatisfiability

    School of Computing, Australian National University, Canberra, Australia.

  29. Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

    Jun 4, 2026Cody J Christopher, Charles GrettonSatisfiabilityField-Programmable Gate Arrays

    School of Computing, Australian National University, Canberra, Australia.

  30. Robust Asynchronous Planning via Auto-Formalization

    May 31, 2026Jiayi Zhang, Jianing Yin, Ben Zhou +1Large Language Model PlanningClassical Planning

    Drexel University · Arizona State University

  31. Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)

    May 28, 2026João Filipe, Álvaro Torralba, Gregor BehnkeSatisfiabilityClassical Planning

    University of Amsterdam, Institute for Logic Language and Computation, The Netherlands · Aalborg University, Denmark

  32. DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization Layers

    May 28, 2026Shraman Pal, Can LiNeuro-Symbolic FrameworkInequality Constraints

    Davidson School of Chemical Engineering, Purdue University, West Lafayette, USA.

  33. Selection Hyper-heuristics Can Automatically Adjust the Learning Period to Optimally Solve Pseudo-Boolean Problems

    May 28, 2026Benjamin Doerr, Pietro S. Oliveto, John Alasdair WarwickerGeneral Grid Search FrameworkLarge Neighborhood Search

    Laboratoire d’Informatique (LIX), CNRS, École Polytechnique, Institut Polytechnique de Paris,2026 Palaiseau, 91120, France · Department of Computer Science and Engineering, Southern University of Science and Technology, Shenzhen, 518055, China · School of Computing & Communications, Lancaster University Leipzig, Leipzig, 04109, Germany

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

    May 28, 2026Pedro Orvalho, Marta Kwiatkowska, Guillem Alenyà +1LLM Reasoning StrategiesSatisfiability

    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

  35. Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability

    May 27, 2026Leizhen Zhang, Shuhan Chen, Sheng ChenSatisfiabilityLLM Reasoning Strategies

    University of Louisiana at Lafayette, Lafayette, USA · East China Normal University, Shanghai, China

  36. Targeting Clause Type Distributions: a Picklock for Random Satisfiability Problems

    May 19, 2026J. Schwardt, J. C. BudichSatisfiabilityLarge Neighborhood Search

    Max Planck Institute for the Physics of Complex Systems, Nöthnitzer Str. 38, 01187 Dresden, Germany · Institute of Theoretical Physics, Technische Universität Dresden and Würzburg-Dresden Cluster of Excellence ctd.qmat, 01062 Dresden, Germany

  37. Learning How to Cube

    May 15, 2026Ferhat Erata, Sam Kouteili, Thanos Typaldos +4SatisfiabilityNeuro-Symbolic Framework

    Yale University · AWS Agentic AI

  38. Orthologic for SAT Solving

    May 14, 2026Vladislas de Haldat, Simon Guilloud, Viktor KunčakSatisfiabilityFirst Order Oracle Complexity

    1EPFL

  39. Monitoring Data-aware Temporal Properties (Extended Version)

    May 14, 2026Alessandro Gianola, Marco Montali, Sarah WinklerLinear Temporal LogicsRuntime Enforcement

    INESC-ID/Instituto Superior T´ecnico, Universidade de Lisboa, Portugal · Free University of Bozen-Bolzano, Italy

  40. Neurosymbolic Auditing of Natural-Language Software Requirements

    May 13, 2026Bethel Hall, William EiersFormal VerificationNeuro-Symbolic Framework

    Stevens Institute of Technology

  41. Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach

    May 12, 2026Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak +3SatisfiabilityTractability

    1Independent researcher · 2Linköping University, Sweden · University of Leeds, UK +1

  42. Functional Stable Model Semantics and Answer Set Programming Modulo Theories

    May 10, 2026Michael Bartholomew, Joohyung LeeAnswer Set ProgrammingSatisfiability

    School of Computing, Informatics and Decision Systems Engineering Arizona State University, Tempe, USA

  43. Dsat: A Native SAT Solver for Discrete Logic

    May 10, 2026Yaofang Zhang, Ken Zhou, Adnan DarwicheSatisfiabilitySolvers

    Department of Computer Science, University of California, Los Angeles

  44. Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators

    May 9, 2026Ali Baheri, Ignacio Laguna PeraltaFourier Neural OperatorsNeural Network Verification

    Rochester Institute of Technology, Rochester, NY, USA · Lawrence Livermore National Laboratory, Livermore, CA, USA

  45. MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs

    May 8, 2026Viresh Pati, Zhengyu Li, Piyush Jha +3CombinationsConstraint Satisfaction

    Georgia Institute of Technology, USA · KNOWIDEA Technologies

  46. Bounded Fitting for Expressive Description Logics

    May 8, 2026Maurice Funk, Jean Christoph Jung, Tom VoellmerSatisfiabilityExpressivity

    1Leipzig University and ScaDS.AI Center Dresden/Leipzig · 2TU Dortmund University · Center for Trustworthy Data Science and Security, University Alliance Ruhr

  47. Target-Aware Data Augmentation for SAT Prediction

    May 7, 2026Eshed Gal, Uri Ascher, Eldad HaberSatisfiabilityNp-Hard

    Department of Computer Science The University of British Columbia Vancouver, Canada · Department of Earth, Ocean and Atmospheric Sciences The University of British Columbia Vancouver, Canada

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

    May 7, 2026Awa Khouna, Youssouf Emine, Julien Ferry +1Tree EnsemblesCounterfactual Explanation

    Polytechnique Montréal · Ivey Business School

  49. Open-SAT: LLM-Guided Query Embedding Refinement for Open-Vocabulary Object Retrieval in Satellite Imagery

    May 6, 2026Md Adnan Arefeen, Biplob Debnath, Ravi K. Rajendran +2Satellite ImageryComposed Image Retrieval

    NEC Laboratories America Princeton, NJ, USA

  50. Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs

    May 6, 2026Zhenchao Sun, Shuai Ma, Ping Lu +1SatisfiabilityHypergraphs

    SKLCCSE Lab, Beihang University, Beijing, China.

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

    Apr 30, 2026Sheza Munir, Ahanaf Rodoshi, Sumin Lee +3EthicsDisagreement

    Computer Science, University of Toronto

  52. Assistants, Not Architects: The Role of LLMs in Networked Systems Design

    Apr 28, 2026Pratyush Sahu, Rahul Bothra, Venkat Arun +3Hardware EfficiencyCo-Design

    Georgia Tech · UIUC · UT Austin +1

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

    Apr 23, 2026Yuxin Zhao, Han Huang, Zhifeng HaoCombinatorial OptimizationSolvers

    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.

  54. From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies

    Apr 17, 2026Haoruo Zhao, Wenshuo Tang, Duncan Guthrie +3OntologyActive Learning

    University of Glasgow

  55. Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations

    Apr 16, 2026Koyena Pal, Serdar KadiogluSatisfiabilityMixed-Integer Programming

    AI Center of Excellence, Fidelity Investments, USA · Khoury College of Computer Sciences, Northeastern University, USA · Department of Computer Science, Brown University, USA

  56. Quantifying Cross-Query Contradictions in Multi-Query LLM Reasoning

    Apr 16, 2026Rohit Kumar Salla, Ramya Manasa Amancherla, Manoj SaravananLLM Reasoning StrategiesContradiction

    Virginia Tech · Columbia University

  57. MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification

    Dec 11, 2025Mantas Baksys, Stefan Zetzsche, Olivier Bouissou +1Theorem ProvingVerification Framework

    University of Cambridge, Cambridge, UK · Amazon Web Services, London, UK · Amazon Web Services, Boston, USA

  58. PICID: Proof-Driven Clause Learning in Neural Network Verification

    Mar 15, 2025Omri Isac, Idan Refaeli, Haoze Wu +2Neural Network VerificationTheorem Proving

    The Hebrew University of Jerusalem · Amherst College · Stanford University

  59. HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation

    Sep 27, 2024Joseph Cotnareanu, Zhanguang Zhang, Hui-Ling Zhen +2SatisfiabilitySynthetic Data

    McGill University Montreal, Canada · Huawei Noah’s Ark Lab Montreal, Canada · Huawei Noah’s Ark Lab Hong Kong, China +1

  60. Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods

    Aug 11, 2021Selin Eyupoglu, Muge Fidan, Yavuz Gulesen +5SatisfiabilityLinear Programming

    Computer Science, Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey · Economics, Faculty of Arts and Social Sciences, Sabanci University, Istanbul, Turkey