TU Wien Informatics

Role

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

  • Proof Complexity of Fragments of Long-Distance Q-Resolution / T. Peitl, F. Slivovsky, S. Szeider / Talk: Theory and Application of Satisfiability Testing -- SAT, Lissabon; 2019-07-07 - 2019-07-12; in: "Theory and Applications of Satisfiability Testing - SAT 2019", Lecture Notes in Computer Science, 11628 (2019), ISBN: 978-3-030-24257-2; 319 - 335
  • Combining Resolution-Path Dependencies with Dependency Learning / T. Peitl, F. Slivovsky, S. Szeider / Talk: Int. Conference on Theory and Applications of Satisfiability Testing, Lissabon; 2019-07-07 - 2019-07-12; in: "Theory and Applications of Satisfiability Testing - SAT 2019", LNCS, 11628 (2019), ISBN: 978-3-030-24257-2; 306 - 318
  • Dependency Learning for QBF / T. Peitl, F. Slivovsky, S. Szeider / Journal of Artificial Intelligence Research, 65 (2019), 65; 181 - 208
  • Long-Distance Q-Resolution with Dependency Schemes / T. Peitl, F. Slivovsky, S. Szeider / Journal of Automated Reasoning, 80 (2018), 2; 1 - 29
  • Portfolio-Based Algorithm Selection for Circuit QBFs / H. Hoos, T. Peitl, F. Slivovsky, S. Szeider / in: "Portfolio-Based Algorithm Selection for Circuit QBFs", 173; issued by: Springer Verlag; Springer-Verlag, 2018, 195 - 205
  • Polynomial-Time Validation of QCDCL Certificates / T. Peitl, F. Slivovsky, S. Szeider / in: "Theory and Applications of Satisfiability Testing - SAT 2018", issued by: Springer Verlag; Springer-Verlag, Lecture Notes in Artificial Intelligence 8268, 2018, ISBN: 978-3-319-94143-1, 253 - 269
  • Dependency Learning for QBF / T. Peitl, F. Slivovsky, S. Szeider / in: "Theory and Applications of Satisfiability Testing - SAT 2017", © Springer International Publishing AG 2017, 2017, ISBN: 978-3-319-66263-3, 198 - 313
  • Long Distance Q-Resolution with Dependency Schemes / T. Peitl, F. Slivovsky, S. Szeider / Talk: Theory and Application of Satisfiability Testing -- SAT, Bordeaux, France; 2016-07-05 - 2016-07-08; in: "Proceedings of SAT 2016: Theory and Applications of Satisfiability Testing - SAT 2016", (2016), ISBN: 978-3-319-40969-6; 500 - 518