Markus Iser, Tomás Balyo, Carsten Sinz. Memory Efficient Parallel SAT Solving with Inprocessing. In 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019. pages 64-70, IEEE, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.