QRAT Polynomially Simulates ∀-Exp+Res

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 22nd Int. Conference on Theory and Applications of Satisfiability Testing
Publisher	Springer
Number of pages	10
Volume	11628
Publication status	Published - 2019

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

@inproceedings{7ddae1ff508b4592a94bf9c068c30e10,

title = "QRAT Polynomially Simulates ∀-Exp+Res",

author = "Benjamin Kiesl and Martina Seidl",

year = "2019",

language = "English",

volume = "11628",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

booktitle = "Proceedings of the 22nd Int. Conference on Theory and Applications of Satisfiability Testing",

}