Google Research

MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing

  • Charles Jordan
  • Lukasz Kaiser
  • Florian Lonsing
  • Martina Seidl
SAT (2014), pp. 430-437


No abstract available; check out the Download or Google Scholar links above for publications details.

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work