Closed arbimo closed 3 years ago
The current explanation mechanism builds clauses that assert the decision of the current level. We might want to test other schemes (e.g. 1UIP) for clause learning.
The current explanation mechanism builds clauses that assert the decision of the current level. We might want to test other schemes (e.g. 1UIP) for clause learning.