Solving 2-CNF Quantified Boolean Formulae Using Variable Assignment and Propagation

Cite this paper

@inproceedings{Gent2002Solving2Q, title={Solving 2-CNF Quantified Boolean Formulae Using Variable Assignment and Propagation}, author={Ian P. Gent}, year={2002} }