Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Conflict-Driven Clause Learning

Known as: CDCL, Conflict Driven Clause Learning 
In computer science, Conflict-Driven Clause Learning (CDCL) is an algorithm for solving the Boolean satisfiability problem (SAT). Given a Boolean… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We propose a new conflict-driven program synthesis technique that is capable of learning from past mistakes. Given a spurious… Expand
  • figure 1
  • figure 6
  • figure 8
  • figure 9
  • figure 7
Is this relevant?
2017
2017
This paper defines the (first-order) conflict resolution calculus: an extension of the resolution calculus inspired by techniques… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2014
2014
We present a bit-precise decision procedure for the theory of floating-point arithmetic. The core of our approach is a non… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2012
2012
Modern conflict-driven clause learning (CDCL) SAT solvers are very good in solving conjunctive normal form (CNF) formulas… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2011
Highly Cited
2011
In this work, we improve on existing results on the relationship between proof systems obtained from conflict-driven clause… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
A method and apparatus for managing power consumption in a computer system wherein the method and apparatus is compliant with the… Expand
  • figure 4.1
  • figure 4.2
  • table 4.1
  • table 4.2
  • figure 4.3
Is this relevant?
2009
2009
S (SAT HYbrid Solver), a novel hybrid approach for propositionalsatisfiability. It combines local search and conflict driven clause… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2008
2008
Experimentation of new algorithms is the usual companion section of papers dealing with SAT. However, the behavior of those… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Increasing globalization and advances in communication technology have fuelled the emergence of global virtual teams (GVTs… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The bulk of our understanding of teams is based on traditional teams in which all members are collocated and communicate face to… Expand
  • figure 1
  • figure 2
Is this relevant?