407 search results - page 64 / 82 » Optimization of Linear Logic Programs Using Counting Methods |
122
Voted
SAT
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
CEC
2005
IEEE
15 years 7 months ago
2005
IEEE
—A principal challenge in modern computational finance is efficient portfolio design – portfolio optimization followed by decision-making. Optimization based on even the widely...
122
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
133
Voted
COR
2010
15 years 2 months ago
2010
Companies in the concrete industry are facing the following scheduling problem on a daily basis: concrete produced at several plants has to be delivered at customers' constru...
117
Voted
ICCD
2001
IEEE
15 years 11 months ago
2001
IEEE
Dynamic power is the main source of power consumption in CMOS circuits. It depends on the square of the supply voltage. It may significantly be reduced by scaling down the supply ...