6554 search results - page 393 / 1311 » Constraint Logic Programming |
200
click to vote
RR
2010
Springer
15 years 5 months ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
190
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
271
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
The length-lex representation for set variables orders all subsets of a given universe of values according to cardinality and lexicography. To achieve length-lex bounds consistency...
142
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a technique for learning parameterized implied constraints. They can be added to a model to improve the solving process. Experiments on implied Gcc constraints ...
167
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Knapsack constraints are a key modeling structure in discrete optimization and form the core of many real-life problem formulations. Only recently, a cost-based filtering algorit...