dCAQE

swMATH46013MaRDI QIDQ5974756FDOQ5974756

Author name not available (Why is that?)

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

Described by source

• Clausal abstraction for DQBF

Cited In (5)

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

This page was built for software: dCAQE