536 search results - page 17 / 108 » A Translational Approach to Constraint Answer Set Solving |
115
Voted
SMA
2006
ACM
15 years 7 months ago
2006
ACM
Parametric and feature-based CAD models can be considered to represent families of similar objects. In current modelling systems, however, the semantics of such families are uncle...
110
click to vote
CP
2008
Springer
15 years 3 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...
112
click to vote
ICTAI
2008
IEEE
15 years 8 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
194
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
110
click to vote
FLAIRS
2004
15 years 3 months ago
2004
In the recent years, CSP's have come to be seen as the core problem in many applications. We propose here a hybrid algorithm (MC-FC) that combines two different search method...