GhostQ

swMATH44959MaRDI QIDQ5975158

No author found.

Described by source

• GhostQ

Related Items (1)

Dual proof generation for quantified Boolean formulas with a BDD-based solver

This page was built for software: GhostQ