Off the Trail: Re-examining the CDCL Algorithm. Goultiaeva, A. & Bacchus, F. In Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, pages 30-43, 2012.
Off the Trail: Re-examining the CDCL Algorithm [link]Link  bibtex   43 downloads  
@InProceedings{DBLP:conf/sat/GoultiaevaB12,
  Title                    = {Off the Trail: Re-examining the CDCL Algorithm},
  Author                   = {Alexandra Goultiaeva and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - SAT
 2012 - 15th International Conference, Trento, Italy, June
 17-20, 2012. Proceedings},
  Year                     = {2012},
  Pages                    = {30-43},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-31612-8_4},
  Timestamp                = {2018.09.23}
}

Downloads: 43