conftrace_

satisfiability checking

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

linear temporal logic (3) syntactic embedding (1) conflict-driven learning (1) symmetry reduction (1) path-search problem (1) minimal unsatisfiable core (1) explanations enumeration (1) propositional satisfiability (1) transition system (1) sat solving (1)

Papers

Enumerating Minimal Unsatisfiable Cores of LTLf Formulae AAAI 2026 Using Symmetries to Lift Satisfiability Checking AAAI 2024 Teaching LTLf Satisfiability Checking to Neural Networks IJCAI 2022 SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019