1097 search results - page 72 / 220 » Revision Programming = Logic Programming Integrity Constra... |
115
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
128
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
126
click to vote
IPCO
2010
15 years 4 months ago
2010
In a column-restricted covering integer program (CCIP), all the non-zero entries of any column of the constraint matrix are equal. Such programs capture capacitated versions of cov...
259
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
147
Voted
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...