Refuting Random 3CNF Formulas in Propositional Logic. / Muller, Sebastian; Tzameret, Iddo.

2013. 201 Paper presented at Logic Across the University: Foundations and Application—Proceedings of the Tsinghua Logic Conference, Beijing, China.

Research output: Contribution to conferencePaper

Published
Original languageEnglish
Pages201
Number of pages208
Publication statusPublished - Oct 2013
EventLogic Across the University: Foundations and Application—Proceedings of the Tsinghua Logic Conference - Tsinghua University, Beijing, China
Duration: 14 Oct 201316 Oct 2013

Conference

ConferenceLogic Across the University: Foundations and Application—Proceedings of the Tsinghua Logic Conference
CountryChina
CityBeijing
Period14/10/1316/10/13

ID: 23655513