dCAQE

swMATH46013MaRDI QIDQ5974756

No author found.

Source code repository: https://github.com/ltentrup/caqe

Described by source

• Clausal abstraction for DQBF

Related Items (5)

Solving dependency quantified Boolean formulas using quantifier localization ⋮ Building strategies into QBF proofs ⋮ Davis and Putnam meet Henkin: solving DQBF with resolution ⋮ Certified DQBF solving by definition extraction ⋮ DQBDD: an efficient BDD-based DQBF solver

This page was built for software: dCAQE