Nadia Creignou, Reinhard Pichler, Stefan Woltran. Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 824-831, IJCAI/AAAI, 2013. [doi]
@inproceedings{CreignouPW13, title = {Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?}, author = {Nadia Creignou and Reinhard Pichler and Stefan Woltran}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6622}, researchr = {https://researchr.org/publication/CreignouPW13}, cites = {0}, citedby = {0}, pages = {824-831}, booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, editor = {Francesca Rossi}, publisher = {IJCAI/AAAI}, isbn = {978-1-57735-633-2}, }