GhostQ

MaRDI QIDQ5975158swMATHFDO

Official website https://content.iospress.com/articles/journal-on-satisfiability-boolean-modeling-and-computation/sat190117

Described by source

• GhostQ. System description

Cited in

(1)

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

This page was built for software: GhostQ