Search Sciweavers | Sciweavers

1749 search results - page 28 / 350

» Logic, Optimization, and Constraint Programming

click to vote

AGP
1995
IEEE

128views Artificial Intelligence» more AGP 1995»

Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages

13 years 11 months ago

Download www.cs.unipr.it

Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...

Roberto Bagnara

claim paper

Read More »

click to vote

SCP
1998

138views more SCP 1998»

A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages

13 years 7 months ago

Download www.cs.unipr.it

Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...

Roberto Bagnara

claim paper

Read More »

click to vote

AMC
2006

107views more AMC 2006»

Linear bilevel programming with upper level constraints depending on the lower level solution

13 years 7 months ago

Download www.mathe.tu-freiberg.de

Focus in the paper is on the definition of linear bilevel programming problems, the existence of optimal solutions and necessary as well as sufficient optimality conditions. In th...

Ayalew Getachew Mersha, Stephan Dempe

claim paper

Read More »

click to vote

FUZZY
2004
Springer

89views Fuzzy Logic» more FUZZY 2004»

Nonlinear Optimization with Fuzzy Constraints by Multi-Objective Evolutionary Algorithms

14 years 1 months ago