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: | |||
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: | |||