90 search results - page 18 / 18 » On the Structure of Industrial SAT Instances |
ICDE
2008
IEEE
14 years 6 months ago
2008
IEEE
DescribeX is a visual, interactive tool for exploring the underlying structure of an XML collection. DescribeX implements a framework for creating XML summaries described using axi...
SLIP
2006
ACM
13 years 11 months ago
2006
ACM
Crosstalk aggressor alignment induces significant interconnect delay variation and needs to be taken into account in a statistical timer. In this paper, we approximate crosstalk ...
ICSM
2003
IEEE
13 years 10 months ago
2003
IEEE
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
ANOR
2007
13 years 5 months ago
2007
The min-SHIFT DESIGN problem (MSD) is an important scheduling problem that needs to be solved in many industrial contexts. The issue is to find a minimum number of shifts and the...
SG
2005
Springer
13 years 10 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...