Sciweavers

2084 search results - page 38 / 417

» Set Constraints in Logic Programming

19

ENTCS
2007

106views more ENTCS 2007»

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

13 years 8 months ago

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Download www.fdi.ucm.es

Sonia Estévez Martín, Antonio J. Fer...

claim paper

Read More »

22

HEURISTICS
2002

62views more HEURISTICS 2002»

Soft Constraint Logic Programming and Generalized Shortest Path Problems

13 years 7 months ago

Soft Constraint Logic Programming and Generalized Shortest Path Problems

Download www.dsi.unive.it

Stefano Bistarelli, Ugo Montanari, Francesca Rossi

claim paper

Read More »

18

INFORMS
2002

40views more INFORMS 2002»

Logic, Optimization, and Constraint Programming

13 years 7 months ago

Logic, Optimization, and Constraint Programming

Download wpweb2.tepper.cmu.edu

John N. Hooker

claim paper

Read More »

61

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

12 years 7 months ago

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Download cri-dist.univ-paris1.fr

Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...

claim paper

Read More »

83

POPL
2009
ACM

164views Programming Languages» more POPL 2009»

Relaxed memory models: an operational approach

14 years 8 months ago

Relaxed memory models: an operational approach

Download www-sop.inria.fr

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

claim paper

Read More »

« Prev « First page 38 / 417 Last » Next »