407 search results - page 11 / 82 » Optimization of Linear Logic Programs Using Counting Methods |
125
Voted
PLILP
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
120
click to vote
ISQED
2009
IEEE
15 years 9 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...
149
click to vote
IOR
2011
14 years 9 months ago
2011
In this paper, we give a finite disjunctive programming procedure to obtain the convex hull of general mixed-integer linear programs (MILP) with bounded integer variables. We prop...
129
click to vote
SIAMJO
2008
15 years 2 months ago
2008
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...
109
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper proposes a yield optimization method for standard-cells under timing constraints. Yield-aware logic synthesis and physical optimization require yield-enhanced standard ...