Sciweavers

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