Sciweavers

2593 search results - page 30 / 519
» constraints 2007
Sort
View
CORR
2007
Springer
111views Education» more  CORR 2007»
15 years 4 months ago
Circumspect descent prevails in solving random constraint satisfaction problems
Mikko Alava, John Ardelius, Erik Aurell, Petteri K...
CORR
2007
Springer
147views Education» more  CORR 2007»
15 years 4 months ago
Decomposition During Search for Propagation-Based Constraint Solvers
Abstract. We describe decomposition during search (DDS), an integration of And/Or tree search into propagation-based constraint solvers. The presented search algorithm dynamically ...
Martin Mann, Guido Tack, Sebastian Will
CORR
2007
Springer
68views Education» more  CORR 2007»
15 years 4 months ago
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
ACL
1990
15 years 5 months ago
Expressing Disjunctive and Negative Feature Constraints with Classical First-Order Logic
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...
Mark Johnson