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