Sciweavers

11 search results - page 1 / 3
» aicom 2006
Sort
View
69
Voted
AICOM
2006
48views more  AICOM 2006»
14 years 11 months ago
The CADE-20 Automated Theorem Proving Competition
Geoff Sutcliffe
AICOM
2006
74views more  AICOM 2006»
14 years 11 months ago
The state of CASC
Geoff Sutcliffe, Christian B. Suttner
65
Voted
AICOM
2006
70views more  AICOM 2006»
14 years 11 months ago
Tools for modeling and solving search problems
Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Mi...