1097 search results - page 186 / 220 » Revision Programming = Logic Programming Integrity Constra... |
131
Voted
TCAD
2008
15 years 2 months ago
2008
Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the mos...
130
Voted
JSAT
2006
15 years 2 months ago
2006
Cutting planes are a well-known, widely used, and very effective technique for Integer Linear Programming (ILP). However, cutting plane techniques are seldom used in PseudoBoolean...
111
Voted
SC
2004
ACM
15 years 8 months ago
2004
ACM
There exist many application classes for which the users have significant flexibility in the quality of output they desire. At the same time, there are other constraints, such a...
127
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
123
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...