Can Saturation Be Parallelised?

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_23 ◽

2007 ◽

pp. 331-346 ◽

Author(s):

Jonathan Ezekiel ◽

Gerald Lüttgen ◽

Radu Siminiceanu

Download Full-text