Endowed professorship for reliable software systems in the automotive industry

Memory Efficient Parallel SAT Solving with Inprocessing

  • Author:

    Markus Iser, Tomás Balyo, Carsten Sinz

  • Source:

    31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019. IEEE 2019: 64-70