Introducing StarExec: a Cross-Community Infrastructure for Logic Solving.

Aaron Stump, Geoff Sutcliffe, Cesare Tinelli

Browse the full CADE paper archive.