Search Sciweavers | Sciweavers

2861 search results - page 70 / 573

» Constraint Programming

179

click to vote

COR
2008

133views more COR 2008»

A new constraint programming approach for the orthogonal packing problem

15 years 6 months ago

Download www.math.tu-dresden.de

The two-dimensional orthogonal packing problem (2OPP) consists in determining if a set of rectangles can be packed in a larger rectangle of fixed size. We propose an exact method ...

François Clautiaux, Antoine Jouglet, Jacque...

claim paper

Read More »

151

click to vote

SAC
2008
ACM

111views Applied Computing» more SAC 2008»

Universal concurrent constraint programing: symbolic semantics and applications to security

15 years 6 months ago

Download www.lix.polytechnique.fr

Carlos Olarte, Frank D. Valencia

claim paper

Read More »

160

Voted

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

15 years 5 months ago

Download www.stanford.edu

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

176

click to vote

IWPEC
2010
Springer

210views Applied Computing» more IWPEC 2010»

Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming

15 years 5 months ago

Download www.kr.tuwien.ac.at

Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah...

claim paper

Read More »

191

click to vote

EUSFLAT
2009

124views Fuzzy Logic» more EUSFLAT 2009»

A Semi-infinite Programming Approach to Possibilistic Optimization under Necessity Measure Constraints

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers