Richard Tichy

Clause Learning in Sat Seminar Automatic Problem Solving Ws 2005/06

Richard Tichy, Thomas Glase, 2022 .

Platypus: A Platform for Distributed Answer Set Solving

Robert E. Mercer, Torsten Schaub, Tomi Janhunen, 2005, LPNMR.

On Probing and Multi-Threading in Platypus

Robert E. Mercer, Torsten Schaub, Tomi Janhunen, 2006, ECAI.