dCAQE

MaRDI QIDQ5974756swMATHFDO

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

This page was built for software: dCAQE