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

Aaron Stump Geoff Sutcliffe Cesare Tinelli

Published in: COMPARE (2012)

Keyphrases

community driven
logic programming
modal logic
automated reasoning
asynchronous circuits
neural network
data collection
combinatorial optimization
community structure
computing environments
online communities
open data
linear logic