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

Nadia Creignou, Reinhard Pichler, Stefan Woltran

Browse the full IJCAI paper archive.