Satisfiability

Ask about this topic

Recent momentum

-56%

4 papers in the last 28 days · 0.1% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Also in Hard-Constraint

Neighbouring directions

Hard-ConstraintMulti-Objective Constraint InferenceConstraint Satisfaction

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-14

1 new paper

A weekly snapshot of new work published in Satisfiability.

Period ending 2026-09-07

4 new papers

A weekly snapshot of new work published in Satisfiability.

60 papers

Latest in Satisfiability

Open your feed →
CardsList

  1. Learning CNF Formulas from Uniform Random Solutions: Near-Tight Sample Complexity for Valiant's Algorithm

    Sep 14, 2026Weiming Feng, Yixiao Yu, Yiyao ZhangOptimal Sample ComplexitySatisfiability

  2. Extending SMT Solving with Non-Ground Clause Learning

    Sep 12, 2026Yasmine Briefs, Christoph WeidenbachSatisfiability

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

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

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

    Sep 1, 2026Swapnil Bhattacharyya, Mayank BaranwalSatisfiabilityMixed-Integer Linear Programming

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

    Aug 31, 2026Vipul Patel, Anirudh Deodhar, Dagnachew BirruFlexible Job-Shop SchedulingScheduling

  6. Reasoning Shortcuts and Value Symmetries: What Symmetry Permits, Architecture Realizes, and Optimization Selects

    Aug 11, 2026Xin XuSymmetrySatisfiability

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

    Aug 9, 2026Wesley H. HollidaySatisfiabilityAxiom

  8. Neurosymbolic Discovery of Algebraic Graph Constructions

    Aug 8, 2026David Seka, Stefan SzeiderAcyclic GraphsSatisfiability

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

    Aug 4, 2026Shashwat Sourav, Aishwarya BalwaniChain-Of-ThoughtSatisfiability

  10. Verifiable Checks for Business Rule Consistency

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

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

    Jul 30, 2026Pablo Manrique, Stefan SzeiderSatisfiabilityTheorem

  12. Maximum Satisfiability of Simple Temporal Problems

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

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

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

  14. Global Difference Constraint Propagation for Constraint Programming

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

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

    Jul 17, 2026Himel Dev, Madhusudan Basak, Tanmoy Sen +2TourPairwise Preferences

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

    Jul 16, 2026Ruben MartinsSatisfiabilityFuture Llm-Assisted Solver Development

  17. EZSMT Version 3, Matured

    Jul 15, 2026Yuliya LierlerSatisfiability

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

    Jul 14, 2026Pedro Orvalho, Guillem Alenyà, Felip ManyàVision-Language Model ReasoningSatisfiability

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

    Jul 8, 2026Shengyi WangPlanar MazesSatisfiability

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

    Jul 6, 2026Vipul Patel, Anirudh Deodhar, Dagnachew BirruFlexible Job-Shop SchedulingCombinatorial Optimization

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

    Jul 5, 2026Arijit Shaw, Kuldeep S. MeelSatisfiabilityCombinations

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

    Jul 1, 2026Stefan SzeiderSatisfiabilityTheorem

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

    Jun 30, 2026Rajeev Goré, Cormac KikkertSatisfiabilityTheorem

  24. Analyzing the Narration Gap in LLM-Solver Loops

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

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

    Jun 17, 2026Harshit Goyal, Sudakshina DuttaNeural Network VerificationBinarization

  26. Exploiting Search in Symbolic Numeric Planning with Patterns

    Jun 15, 2026Matteo Cardellini, Enrico GiunchigliaClassical PlanningSatisfiability

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

    Jun 14, 2026Pavel SurynekMulti-Agent Path FindingDecentralized Multi-Agent System

  28. Declarative Outcome-Conformant Synthesis: Exact, Closed-Form Specification Satisfaction and a Conformance Benchmark

    Jun 7, 2026Muhammed RasinSynthetic Tabular DataSynthesis

  29. A Study of Parallel Continuous Local Search

    Jun 4, 2026Cody J Christopher, Charles GrettonParallel Continuous Local SearchSatisfiability

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

    Jun 4, 2026Cody J Christopher, Charles GrettonSatisfiabilityMulti-Gpu Systems

  31. Robust Asynchronous Planning via Auto-Formalization

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

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

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

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

    May 28, 2026Shraman Pal, Can LiInequality ConstraintsDifferentiable Relaxation

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

    May 28, 2026Benjamin Doerr, Pietro S. Oliveto, John Alasdair WarwickerHyperparameterHeuristics

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

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

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

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

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

    May 19, 2026J. Schwardt, J. C. BudichSatisfiabilityParallel Continuous Local Search

  38. Learning How to Cube

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

  39. Orthologic for SAT Solving

    May 14, 2026Vladislas de Haldat, Simon Guilloud, Viktor KunčakSatisfiabilityOrthogonality

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

    May 14, 2026Alessandro Gianola, Marco Montali, Sarah WinklerLinear Temporal LogicsSatisfiability

  41. Neurosymbolic Auditing of Natural-Language Software Requirements

    May 13, 2026Bethel Hall, William EiersFormal VerificationLlm-Driven

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

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

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

    May 10, 2026Michael Bartholomew, Joohyung LeeAnswer Set ProgrammingSatisfiability

  44. Dsat: A Native SAT Solver for Discrete Logic

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

  45. 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

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

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

  47. Bounded Fitting for Expressive Description Logics

    May 8, 2026Maurice Funk, Jean Christoph Jung, Tom VoellmerSatisfiabilityLogit Lens

  48. Target-Aware Data Augmentation for SAT Prediction

    May 7, 2026Eshed Gal, Uri Ascher, Eldad HaberSatisfiabilityGenerative Adversarial Network

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

    May 7, 2026Awa Khouna, Youssouf Emine, Julien Ferry +1Counterfactual ExplanationDecision Trees

  50. 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

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

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

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

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

  53. BAss: Symbolic Reasoning in Abstract Dialectical Frameworks

    Apr 30, 2026Samuel Pastva, Van-Giang TrinhSatisfiability

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

    Apr 28, 2026Pratyush Sahu, Rahul Bothra, Venkat Arun +3Co-DesignNeural Architecture Search

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

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

  56. Symbolic Synthesis for LTLf+ Obligations

    Apr 20, 2026Giuseppe De Giacomo, Christian Hagemeier, Daniel Hausmann +1Linear Temporal LogicsAutomata

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

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

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

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

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

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

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

    Dec 11, 2025Mantas Baksys, Stefan Zetzsche, Olivier Bouissou +1TheoremMathematical Reasoning