Založit si vlastní profil
Veřejný přístup
Zobrazit všechny10 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly UniversityE-mailová adresa ověřena na: aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandraE-mailová adresa ověřena na: imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Tomas BalyoFiluta AIE-mailová adresa ověřena na: filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retiredE-mailová adresa ověřena na: uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaE-mailová adresa ověřena na: cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of WaterlooE-mailová adresa ověřena na: uwaterloo.ca
- Dr. Adrian BalintUlm University