×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [resolving clauses]
Home >
resolving clauses
1 Decision heuristics based on an Abstraction/Refinement model Ofer Strichman Roman Gershman An earlier version was presented in IBMs verification conference.
213 views
1 Linear-time Reductions of Resolution Proofs Omer Bar-Ilan Oded Fuhrmann Shlomo Hoory Ohad Shacham Ofer Strichman Technion.
215 views
1 Agenda Modeling problems in Propositional Logic SAT basics Decision heuristics Non-chronological Backtracking Learning with Conflict Clauses SAT and.
216 views
Decision heuristics based on an Abstraction/Refinement model
36 views