Programme HIGH Tc 23. Workshop on

First Page		Document Content
Date: 2008-03-03 10:19:20 German language Germanic languages Vienna University of Technology Indo-European languages Wien		Programme HIGH Tc 23. Workshop on Add to Reading List Source URL: www.imc.tuwien.ac.at Download Document from Source Website File Size: 106,76 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