ANU University of Cantabria EPFL DHBW Stuttgart Radboud University Nijmegen University / University of Iowa / Sutcli↵e University of Miami / Berlin University Paris Descartes Uppsala University / Entrant’s Affiliation University of Gothenburg NICTA / /
IndustryTerm
search strategies / representative sample solutions / ranking systems / sample solutions / Demonstration division systems / /
OperatingSystem
Red Hat Enterprise Linux / /
Organization
the University of Iowa / University of Innsbruck CASC / Max-Planck-Institut f¨ / Gothenburg NICTA and ANU University / Entrant’s Affiliation University of Gothenburg NICTA / University of Miami / University of Cantabria / /
Person
Tobias Nipkow / Dominique Pastre Philipp / Stephan Schulz Josef Urban Cezary / Joshua Bax / Bob Vero / Lawrence Paulson / Peter Backeman / Bernhard Beckert / Cesare Tinelli / Josef Urban Cezary Kaliszyk / Jasmin Blanchette / Fredrik Lindblad Peter Baumgartner / Morgan Deters / Uwe Waldmann / Cristobal Camarero Andrew Reynolds / Daniel Kuehlwein / Clark Barrett / Frank Dorssers / Stephan Schulz / Aart Middeldorp / Satallax / Maria Paola Bonacina / Jens Otten Christoph Benzm / William McCune / Josef Urban / /
Proceedings of the 7th IJCAR ATP System Competition (CASC-J7) Geo↵ Sutcli↵e University of Miami, USA Abstract