400 search results - page 31 / 80 » Backtracking |
137
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
146
click to vote
ISCIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
132
click to vote
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce an Ant Colony Optimisation (ACO) algorithm to find solutions for the well-known Knight’s Tour problem. The algorithm utilizes the implicit parallelism ...
144
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
142
click to vote
BIRTHDAY
2001
Springer
15 years 10 months ago
2001
Springer
A uniquely parsable grammar (UPG) introduced by Morita et al. (1997) is a kind of generative grammar, where parsing can be performed without backtracking. In this paper, we invest...