Serge Gaspers

Identifiers

Open LibraryOL8004369A

Books by Serge Gaspers

Total count: 2

Theory and Applications of Satisfiability Testing – SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, ...

Springer2017-08-09
SOFSEM 2024 : Theory and Practice of Computer Science49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

Springer2024-01-01