4081 search results - page 258 / 817 » The Impact of Constraint Programming |
208
click to vote
MP
2010
15 years 5 months ago
2010
Abstract. We study mixed integer nonlinear programs (MINLP)s that are driven by a collection of indicator variables where each indicator variable controls a subset of the decision ...
177
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper revisits and extends a general linear programming(LP) formulation to exploit multiple knobs such as multi-Lgate footprint-compatible libraries and post-layout Lgateb...
179
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
213
click to vote
FMCO
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
170
click to vote
WAN
1998
Springer
15 years 11 months ago
1998
Springer
This paper discusses the research initiatives and programs supported by the National Science Foundation to promote high-end computing and largescale networking. This work mainly fa...