Dagstuhl's Impact

Frequently a Dagstuhl Seminar or a Dagstuhl Event is so inspirational that the participants jointly release a publication afterwards.  These works are listed below and are presented on a special shelf in the library.

Please inform us about such publications that are a result from a Dagstuhl Seminar.


 Book    Special Issue    Technical Report    Article   

Dagstuhl Seminar 20061, 02.02.20-07.02.20

MaxSAT resolution and subcube sums : article in 23nd International Conference on Theory and Applications of Satisfiability Testing (SAT’20)

Filmus, Yuval; Mahajan, Meena. - Toronto : University, 2020. - 18 pp.