Search Sciweavers | Sciweavers

2974 search results - page 86 / 595

» Model-Driven Constraint Programming

193

click to vote

IPL
2008

111views more IPL 2008»

Adding cardinality constraints to integer programs with applications to maximum satisfiability

15 years 7 months ago

Download wwwhome.math.utwente.nl

Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...

Markus Bläser, Thomas Heynen, Bodo Manthey

claim paper

Read More »

142

Voted

JISE
2008

75views more JISE 2008»

A Genetic Algorithm for Linear Programming With Fuzzy Constraints

15 years 7 months ago

Download www.iis.sinica.edu.tw

Feng-Tse Lin

claim paper

Read More »

154

click to vote

ENTCS
2007

106views more ENTCS 2007»

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

15 years 7 months ago

Download www.fdi.ucm.es

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

claim paper

Read More »

158

Voted

ENTCS
2007

91views more ENTCS 2007»

Stochastic Concurrent Constraint Programming and Differential Equations

15 years 7 months ago

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

118

click to vote

CORR
2002
Springer

96views Education» more CORR 2002»

Soft Concurrent Constraint Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers