September 8 – 13 , 2019, Dagstuhl Seminar 19371
Last update: September 23 2019

Deduction Beyond Satisfiability

Participants



In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner