qube3.0
| Submitter: | Massimo Narizzano | ||
| Description: | A search based qbf solver that integrates (a) lazy data structure (both watching literals and watching clauses) (b) learning (both uip conflict and solution learning) | ||
| Results: | |||
| Submitter: | Massimo Narizzano | ||
| Description: | A search based qbf solver that integrates (a) lazy data structure (both watching literals and watching clauses) (b) learning (both uip conflict and solution learning) | ||
| Results: | |||