Algorithms and Complexity Group
  • People
  • Research
  • Courses
  • Talks
  • Jobs
  • Contact

Leroy Chew

Address:
Leroy Chew
Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
1040 Wien
Austria

Phone: +43(1)58801–192147
Email: lchew@ac.tuwien.ac.at
Web: http://www.ac.tuwien.ac.at/people/lchew/

 

Research interests

  • Quantified Boolean Formulas (QBFs)
  • Proof Complexity

Publications

1 result
2022
[1]Towards Uniform Certification in QBF
Leroy Chew, Friedrich Slivovsky
39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference) (Petra Berenbrink, Benjamin Monmege, eds.), volume 219 of LIPIcs, pages 22:1–22:23, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[bibtex] [pdf] [doi]
  • Cornelius Brand
  • Doris Brazda
  • Maria Bresich
  • Jiehua Chen
  • Alexis de Colnet
  • Alexander Dobler
  • Jan Dreier
  • Herbert Fleischner
  • Nikolaus Frohner
  • Robert Ganian
  • Christian Hatschka
  • Marc Huber
  • Enrico Iurlano
  • Liana Khazaliya
  • Markus Kirchweger
  • Viktoria Korchemna
  • Martin Kronegger
  • Andreas Müller
  • Martin Nöllenburg
  • Daniel Obszelka
  • Tomáš Peitl
  • Vaidyanathan P. R.
  • Günther Raidl
  • Franz Xaver Reichl
  • Mathis Rocton
  • Andre Schidler
  • Sofia Simola
  • Friedrich Slivovsky
  • Manuel Sorge
  • Stefan Szeider
  • Soeren Terziadis
  • Johannes Varga
  • Anaïs Villedieu
  • Markus Wallinger
  • Jules Wulms
  • Hai Xia
  • Tianwei Zhang
TU Wien Informatics
Offenlegung (§25 MedienG) Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. – Disclaimer – Datenschutzerklärung
Log in requires cookies.