An Empirical Study on Learned Clause Overlaps in Distributed SAT Solving. Borowitz, J., Schreiber, D., & Sanders, P. 2024. Pragmatics of SAT (PoS), to appear
bibtex   
@unpublished{borowitz2024empirical,
	title={An Empirical Study on Learned Clause Overlaps in Distributed {SAT} Solving},
	author={Borowitz, Jannick and Schreiber, Dominik and Sanders, Peter},
	note={Pragmatics of SAT (PoS), to appear},
	year={2024},
}

Downloads: 0