Search Sciweavers | Sciweavers

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 »

135

click to vote

SAC
2008
ACM

111views Applied Computing» more SAC 2008»

Universal concurrent constraint programing: symbolic semantics and applications to security

15 years 5 months ago

Download www.lix.polytechnique.fr

Carlos Olarte, Frank D. Valencia

claim paper

Read More »

134

click to vote

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

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

15 years 4 months ago

Download www.stanford.edu

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

161

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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers