Argonne National Laboratory / CNF / Hillenbrand / Articulate Sofware / Joe Hurd Galois Inc. / Articulate Software / /
Country
Germany / Canada / /
Currency
USD / /
Event
Force Majeure / /
Facility
Chapel Hill Otter / The University of Manchester Waldmeister / University of Iowa / THF Peter B. Andrews Carnegie Mellon University / FOF∗ Jens Otten University of Potsdam leanCoP-SInE / University of N. Carolina / FOF FNT CNF SAT EPR Konstantin Korovin The University of Manchester iProver-SInE / UEQ Wilmer Ricciotti University of Bologna Metis / Saarland University / Geoff Sutcliffe University of Miami / Chalmers University of Technology iProver / FOF CNF UEQ Koen Claessen Chalmers University of Technology Infinox / International University / University of Cambridge / /
IndustryTerm
ranking systems / Demonstration division systems / /
OperatingSystem
Linux / Hurd / /
Organization
Waldmeister C09a UEQ Thomas Hillenbrand Max Planck Institut f / Saarland University / University of Manchester iProver-SInE / FOF CNF UEQ Koen Claessen Chalmers University of Technology Infinox / University of Cambridge / UEQ Wilmer Ricciotti University of Bologna Metis / Carnegie Mellon University / Chalmers University of Technology iProver / International University in Germany / University of Iowa / University of Miami / University of N. Carolina / FOF∗ Jens Otten University of Potsdam leanCoP-SInE / University of Manchester Waldmeister / Democrats / /
Person
Tobias Nipkow / Chad E. Brown / Alexander Fuchs / Christoph Sticksel / Christoph Weidenbach / Larry Paulson / Thomas Raths / Thomas Hillenbrand Max Planck / David Plaisted / Cesare Tinelli / Stefan Berghofer / Martin Suda / Geoff Sutcliffe / Uli Furbach / Jasmin Blanchette Technische Universit / Ann Lilliestr¨om / Frank Theiss / William McCune / /
ProgrammingLanguage
HTML / /
ProvinceOrState
Iowa / /
Technology
Opteron(tm) Processor / Linux / operating system / HTML / /
The CADE-22 ATP System Competition (CASC-22) Geoff Sutcliffe University of Miami, USA Abstract The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The