Sciweavers

1056 search results - page 40 / 212
» ijcai 2007
Sort
View
IJCAI
2001
14 years 11 months ago
A backbone-search heuristic for efficient solving of hard 3-SAT formulae
Of late, new insight into the study of random -SAT
Olivier Dubois, Gilles Dequen
IJCAI
2001
14 years 11 months ago
Learning Relations Using Collocations
Gerhard Heyer, Martin Läuter, Uwe Quasthoff, ...
IJCAI
2001
14 years 11 months ago
Temporal Constraint Reasoning With Preferences
Lina Khatib, Paul H. Morris, Robert A. Morris, Fra...
IJCAI
2003
14 years 11 months ago
Comparison of Different Grid Abstractions for Pathfinding on Maps
Yngvi Björnsson, Markus Enzenberger, Robert H...