A fast parallel SAT-solver — efficient workload balancing
Böhm, Max, Speckenmeyer, Ewald
Published in Annals of mathematics and artificial intelligence (01.01.1996)
Published in Annals of mathematics and artificial intelligence (01.01.1996)
Get full text
Journal Article