conftrace_

quantifier elimination

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) automated reasoning (2) template-based skolemization (1) game semantics (1) polynomial arithmetic (1) linear arithmetic (1) second-order logic (1) quantified boolean formula (1) model checking (1)

Papers

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025 Second-Order Quantified Boolean Logic AAAI 2023