Sciweavers

1056 search results - page 40 / 212
» ijcai 2007
Sort
View
IJCAI
2001
15 years 7 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
15 years 7 months ago
Learning Relations Using Collocations
Gerhard Heyer, Martin Läuter, Uwe Quasthoff, ...
IJCAI
2001
15 years 7 months ago
Temporal Constraint Reasoning With Preferences
Lina Khatib, Paul H. Morris, Robert A. Morris, Fra...
IJCAI
2003
15 years 7 months ago
Comparison of Different Grid Abstractions for Pathfinding on Maps
Yngvi Björnsson, Markus Enzenberger, Robert H...