conftrace_

decision procedure

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

circuit compilation (1) unsolvability detection (1) dependency quantified boolean formula (1) negation normal form (1) wdnnf circuit (1) dependency elimination (1) separation logic (1) stochastic boolean satisfiability (1) boolean circuit (1) cnf formula (1)

Papers

A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT AAAI 2023 Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping AAAI 2022 Temporalising Separation Logic for Planning with Search Control Knowledge IJCAI 2017