@article{https://doi.org/10.48550/arxiv.1711.07786,<br/><span class="tab"></span>
  doi = {10.48550/ARXIV.1711.07786},<br/><span class="tab"></span>
  url = {https://arxiv.org/abs/1711.07786},<br/><span class="tab"></span>
  author = {Creignou,<br/><span class="tab"></span> Nadia and Pichler,<br/><span class="tab"></span> Reinhard and Woltran,<br/><span class="tab"></span> Stefan},<br/><span class="tab"></span>
  keywords = {Logic in Computer Science (cs.LO),<br/><span class="tab"></span> FOS: Computer and information sciences,<br/><span class="tab"></span> FOS: Computer and information sciences},<br/><span class="tab"></span>
  title = {Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?},<br/><span class="tab"></span>
  publisher = {arXiv},<br/><span class="tab"></span>
  year = {2017},<br/><span class="tab"></span>
  copyright = {Creative Commons Attribution 4.0 International}
}