2702 search results - page 42 / 541 » constraints 2008 |
CP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
111
click to vote
FLAIRS
2008
15 years 11 hour ago
2008
Constraint satisfaction techniques are commonly used for solving scheduling problems, still they are rare in AI planning. Although there are several attempts to apply constraint s...
64
Voted
COLING
1992
14 years 11 months ago
1992
This paper discusses the formalization of relative clauses in Japanese based on JPSG framework. We characterize them as adjuncts to nouns, and formalize them in terms of constrain...
46
Voted
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
CORR
2008
Springer
14 years 9 months ago
2008
Springer
