Refuting Random 3CNF Formulas in Propositional Logic

Sebastian Muller, Iddo Tzameret

Research output: Contribution to conferencePaper

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
Country/TerritoryChina
CityBeijing
Period14/10/1316/10/13

Cite this