SOFSEM 2024 : Theory and Practice of Computer ScienceHenning Fernau, Serge Gaspers, Ralf Klasing · First published 2024Open the Tome
Theory and Applications of Satisfiability Testing – SAT 2017Serge Gaspers, Toby Walsh · First published 2017Open the Tome
