Talks and Poster Presentations (without Proceedings-Entry):
S. Woltran:
"Solving (Q)SAT Problems via Tree Decomposition and Dynamic Programming";
Keynote Lecture: JFPC (Journées Francophones de Programmation par Contraintes),
Amiens, Frankreich (invited);
2018-06-13
- 2018-06-15.