cec.tuwien.ac.at CONTINUING EDUCATION CENTER

First Page		Document Content
Date: 2013-07-08 04:37:46 Vienna University of Economics and Business Vienna Wien Europe Geography of Austria Vienna University of Technology		cec.tuwien.ac.at CONTINUING EDUCATION CENTER Add to Reading List Source URL: cec.tuwien.ac.at Download Document from Source Website File Size: 1,10 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