2 works on record
Theory and Applications of Satisfiability Testing – SAT 2017
SOFSEM 2024 : Theory and Practice of Computer Science