FACULTY OF INFORMATICS @ VIENNA UNIVERSITY OF TECHNOLOGY (TU WIEN) Science and Technology in the Information Age

First Page		Document Content
Date: 2016-01-13 02:47:31 Vienna University of Technology Informatics Environmental informatics VRVis Health informatics Helmut Veith Alpen-Adria-Universitt Klagenfurt		FACULTY OF INFORMATICS @ VIENNA UNIVERSITY OF TECHNOLOGY (TU WIEN) Science and Technology in the Information Age Add to Reading List Source URL: www.informatik.tuwien.ac.at Download Document from Source Website File Size: 489,43 KB 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