conftrace_

satisfiability solving

13 papers

Explore in graph

Co-occurring keywords

combinatorial optimization (1039) graph coloring (24) proof certificate (3) sat solver (78) computer algebra (8) constraint satisfaction (294) ramsey theory (3) formal verification (284) boolean satisfiability (32) near-uniform sampling (1)

Papers

Graph Choosability via SAT: Beyond the Nullstellensatz AAAI 2026
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs ACL 2026
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
Neural Model Checking NIPS 2024
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) AAAI 2024
Counting Maximal Satisfiable Subsets AAAI 2021
Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021
A SAT-based Resolution of Lam's Problem AAAI 2021
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020
Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020
Clause Learning and New Bounds for Graph Coloring IJCAI 2019
Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints NIPS 2006