Sciweavers

4081 search results - page 91 / 817

» The Impact of Constraint Programming

115

SAC
2008
ACM

111views Applied Computing» more SAC 2008»

Universal concurrent constraint programing: symbolic semantics and applications to security

15 years 3 months ago

Universal concurrent constraint programing: symbolic semantics and applications to security

Download www.lix.polytechnique.fr

Carlos Olarte, Frank D. Valencia

claim paper

Read More »

111

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

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

15 years 2 months ago

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

Download www.stanford.edu

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

134

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

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

Download www.kr.tuwien.ac.at

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

claim paper

Read More »

141

EUSFLAT
2009

124views Fuzzy Logic» more EUSFLAT 2009»

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

15 years 2 months ago

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

Download www.eusflat.org

Masahiro Inuiguchi

claim paper

Read More »

112

COMJ
2010

262views Applied Computing» more COMJ 2010»

Constraint Application with Higher-Order Programming for Modeling Music Theories

15 years 1 months ago

Constraint Application with Higher-Order Programming for Modeling Music Theories

Download cmr.soc.plymouth.ac.uk

Torsten Anders, Eduardo Reck Miranda

claim paper

Read More »

« Prev « First page 91 / 817 Last » Next »