Quaffle

Submitter: Daijue Tang
Description: [L. Zhang and S. Malik. Conflict driven learning in a quantified boolean satisfiability solver. In Proceedings of Interna- tional Conference on Computer Aided Design (ICCAD'02), 2002.]
Results: