Sciweavers

13841 search results - page 161 / 2769

» Algorithms and Constraint Programming

111

CSUR
2006

52views more CSUR 2006»

Propositional Satisfiability and Constraint Programming: A comparative survey

15 years 6 months ago

Propositional Satisfiability and Constraint Programming: A comparative survey

Download research.microsoft.com

Lucas Bordeaux, Youssef Hamadi, Lintao Zhang

claim paper

Read More »

81

INFORMATICASI
2008

39views more INFORMATICASI 2008»

On the Compilation of Programs into their Equivalent Constraint Representation

15 years 6 months ago

On the Compilation of Programs into their Equivalent Constraint Representation

Download www.informatica.si

Franz Wotawa, Mihai Nica

claim paper

Read More »

138

ENTCS
2007

106views more ENTCS 2007»

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

15 years 6 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 »

142

ENTCS
2007

91views more ENTCS 2007»

Stochastic Concurrent Constraint Programming and Differential Equations

15 years 6 months ago

Stochastic Concurrent Constraint Programming and Differential Equations

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

107

CORR
2002
Springer

96views Education» more CORR 2002»

Soft Concurrent Constraint Programming

15 years 6 months ago

Soft Concurrent Constraint Programming

Download www.dmi.unipg.it

Stefano Bistarelli, Ugo Montanari, Francesca Rossi

claim paper

Read More »

« Prev « First page 161 / 2769 Last » Next »