Refuting Random 3CNF Formulas in Propositional Logic

Sebastian Muller; Iddo Tzameret

Refuting Random 3CNF Formulas in Propositional Logic

Sebastian Muller, Iddo Tzameret

Research output: Contribution to conference › Paper

Original language	English
Pages	201
Number of pages	208
Publication status	Published - Oct 2013
Event	Logic Across the University: Foundations and Application—Proceedings of the Tsinghua Logic Conference - Tsinghua University, Beijing, China Duration: 14 Oct 2013 → 16 Oct 2013

Conference

Conference	Logic Across the University: Foundations and Application—Proceedings of the Tsinghua Logic Conference
Country/Territory	China
City	Beijing
Period	14/10/13 → 16/10/13

Cite this

@conference{1050e5d54e8f43f7b7cb182374bebea2,

title = "Refuting Random 3CNF Formulas in Propositional Logic",

author = "Sebastian Muller and Iddo Tzameret",

year = "2013",

month = oct,

language = "English",

pages = "201",

note = "Logic Across the University: Foundations and Application—Proceedings of the Tsinghua Logic Conference ; Conference date: 14-10-2013 Through 16-10-2013",

}