Endowed professorship for reliable software systems in the automotive industry

Overview and analysis of the SAT Challenge 2012 solver competition

  • Author:

    Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz

  • Source:

    Artificial Intelligence, Volume 223: 120-155