Conflict-Driven Clause Learning

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:algorithm
gptkbp:abbreviation CDCL
gptkbp:application gptkb:Constraint_satisfaction_problems
Automated theorem proving
Formal verification
Model checking
gptkbp:enables Efficient SAT solving
gptkbp:feature Clause learning
Conflict analysis
Non-chronological backtracking
Unit propagation
gptkbp:hasComponent Decision heuristics
Restart policies
Variable activity scores
Watched literals
https://www.w3.org/2000/01/rdf-schema#label Conflict-Driven Clause Learning
gptkbp:improves gptkb:DPLL_algorithm
gptkbp:introducedIn 1990s
gptkbp:relatedTo gptkb:DPLL_algorithm
Boolean Satisfiability Problem
gptkbp:usedIn gptkb:SAT_solvers
gptkbp:bfsParent gptkb:MapleSAT
gptkbp:bfsLayer 7