www.rat-fte.at annual report

First Page		Document Content
Date: 2012-02-01 05:08:10 Hannes Androsch Competitiveness Vienna University of Technology Austria Draft:Werner Clement Austrian Research Promotion Agency		www.rat-fte.at annual report Add to Reading List Source URL: www.rat-fte.at Download Document from Source Website File Size: 4,19 MB Share Document on Facebook

	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology DocID: 1xUHR - View Document
	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 DocID: 1xTCQ - View Document
	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 DocID: 1xT9b - View Document
	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 DocID: 1vnGj - View Document
	JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188, DocID: 1vf5f - View Document