satisfiability solving

Graph Choosability via SAT: Beyond the Nullstellensatz AAAI 2026 SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs ACL 2026 Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning ICLR 2025 Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems IJCAI 2025 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024 A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) AAAI 2024 Neural Model Checking NeurIPS 2024 A SAT-based Resolution of Lam's Problem AAAI 2021 Counting Maximal Satisfiable Subsets AAAI 2021 Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021 Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020 Clause Learning and New Bounds for Graph Coloring IJCAI 2019 Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints NeurIPS 2006