Search alternatives:
international solver » international solar, international solid, international sales
solver competition » solver computation, seller competition, soccer competition
asia international » china international, india international, ima international
usa international » usa internationale, ima international, a international
Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Competition -- Session 10: Invited Talk -- Proof Search and Proof Check for Equational and Inductive Theorems...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Meets Outlier Detection -- clasp: A Conflict-Driven Answer Set Solver -- GrinGo: A New Grounder...”
Cover Image
Read Now

3
Published 2002
Springer US
Table of Contents: “... -- A General Framework for Constructive Meta-Heuristics -- The Immune Distributed Competitive Problem...”