Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nadia Creignou' in GoogleThis author has not been identified. Look up 'Reinhard Pichler' in GoogleThis author has not been identified. Look up 'Stefan Woltran' in Google

runs on WebDSL