dCAQE

swMATH46013MaRDI QIDQ5974756FDOQ5974756

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1808.08759

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

Described by source

• Clausal abstraction for DQBF

Cited In (9)

• 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
• QESTO
• Solving dependency quantified Boolean formulas using quantifier localization
• CAQE
• HQSpre
• Q3B

This page was built for software: dCAQE