1![Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria](https://www.pdfsearch.io/img/564a98119db0354b1fb4bfb220c6e38a.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 03:28:45
|
---|
2![System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology](https://www.pdfsearch.io/img/2db64541d3691b1d53f9cdce363d6d08.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2018-07-19 05:32:19
|
---|
3![Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology](https://www.pdfsearch.io/img/a1145d7c87226f243bf0f32c31c2708f.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2014-04-14 05:43:30
|
---|
4![The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden](https://www.pdfsearch.io/img/efef8f21674d6dab76148348ecb1be74.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-06 02:05:36
|
---|
5![15. Quark modelQuark Model Revised August 2017 by C. Amsler (Stefan Meyer Institute for Subatomic Physics, Vienna), T. DeGrand (University of Colorado, Boulder), and B. Krusche (University of Basel). 15. Quark modelQuark Model Revised August 2017 by C. Amsler (Stefan Meyer Institute for Subatomic Physics, Vienna), T. DeGrand (University of Colorado, Boulder), and B. Krusche (University of Basel).](https://www.pdfsearch.io/img/02e01b4edf939591e79be5b20ffda448.jpg) | Add to Reading ListSource URL: pdg.lbl.govLanguage: English - Date: 2018-06-05 23:26:58
|
---|
6![Poster for SAT/SMT Summer SchoolModeling High School Timetabling (HSTT) as maxSAT/SMT Vienna University of Technology Institute of Information Systems Database and Artificial Intelligence Group Poster for SAT/SMT Summer SchoolModeling High School Timetabling (HSTT) as maxSAT/SMT Vienna University of Technology Institute of Information Systems Database and Artificial Intelligence Group](https://www.pdfsearch.io/img/c8bb3fcc140bda496f2594c733ad234b.jpg) | Add to Reading ListSource URL: satsmt2014.forsyte.atLanguage: English - Date: 2014-08-19 06:22:39
|
---|
7![International Young Physicists’ Tournament IYPT Georg Hofferek Association AYPT-Forschungsforum junger Physiker p.A. University of Vienna, Faculty of Physics, Physics International Young Physicists’ Tournament IYPT Georg Hofferek Association AYPT-Forschungsforum junger Physiker p.A. University of Vienna, Faculty of Physics, Physics](https://www.pdfsearch.io/img/2954145fd2fc1e8bf91f05c637ecd98d.jpg) | Add to Reading ListSource URL: iypt.orgLanguage: English - Date: 2018-02-16 18:55:32
|
---|
8![Failure Modes of Tearing and a Novel Robust Approach Ali Baharev Arnold Neumaier Hermann Schichl Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria Failure Modes of Tearing and a Novel Robust Approach Ali Baharev Arnold Neumaier Hermann Schichl Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria](https://www.pdfsearch.io/img/171733c3291ebb5bf97658829fbf7c30.jpg) | Add to Reading ListSource URL: reliablecomputing.euLanguage: English - Date: 2017-08-25 09:01:41
|
---|
9![JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188, JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188,](https://www.pdfsearch.io/img/58426f3a67827388f869c7ff106ca74a.jpg) | Add to Reading ListSource URL: www.jccs-a.atLanguage: English |
---|
10![Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa](https://www.pdfsearch.io/img/8a245df20379615951e614405f32186f.jpg) | Add to Reading ListSource URL: www.preining.infoLanguage: English - Date: 2014-04-03 01:14:55
|
---|