GhostQ

swMATH44959MaRDI QIDQ5975158FDOQ5975158

Author name not available (Why is that?)

Described by source

• GhostQ

Cited In (1)

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

This page was built for software: GhostQ