Sciweavers

2084 search results - page 38 / 417
» Set Constraints in Logic Programming
Sort
View
98
Voted
ENTCS
2007
106views more  ENTCS 2007»
15 years 3 months ago
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Sonia Estévez Martín, Antonio J. Fer...
111
Voted
HEURISTICS
2002
62views more  HEURISTICS 2002»
15 years 3 months ago
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
68
Voted
INFORMS
2002
40views more  INFORMS 2002»
15 years 3 months ago
Logic, Optimization, and Constraint Programming
John N. Hooker
190
Voted
COMPSAC
2011
IEEE
14 years 3 months ago
Conformance Checking with Constraint Logic Programming: The Case of Feature Models
Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...
259
Voted
POPL
2009
ACM
16 years 4 months ago
Relaxed memory models: an operational approach
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
Gérard Boudol, Gustavo Petri