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