Reconstructing Solutions after Blocked Clause Elimination. Järvisalo, M. & Biere, A. In Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pages 340-345, 2010.
Reconstructing Solutions after Blocked Clause Elimination [link]Link  bibtex   
@inproceedings{ DBLP:conf/sat/JarvisaloB10,
  author    = {Matti Järvisalo and Armin Biere},
  title     = {Reconstructing Solutions after Blocked Clause Elimination},
  booktitle   = {Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
  pages   = {340-345},
  ee   = {http://dx.doi.org/10.1007/978-3-642-14186-7_30} ,
  year   = {2010}
}

Downloads: 0