882 search results - page 68 / 177 » Local Search for Very Large SAT Problems |
117
click to vote
IDEAS
2006
IEEE
15 years 5 months ago
2006
IEEE
Sequential pattern mining is very important because it is the basis of many applications. Yet how to efficiently implement the mining is difficult due to the inherent characteri...
118
click to vote
SIAMJO
2002
14 years 11 months ago
2002
Motivated by some results for linear programs and complementarity problems, this paper gives some new characterizations of the central path conditions for semidefinite programs. Ex...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
In parallel processing systems, a fundamental consideration is the maximization of system performance through task mapping. A good allocation strategy may improve resource utilizat...
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Single 2D line drawing is a straightforward method to illustrate 3D objects. The faces of an object depicted by a line drawing give very useful information for the reconstruction ...
ICCD
2001
IEEE
15 years 8 months ago
2001
IEEE
Reduced Ordered Binary Decision Diagrams (BDDs) are a data structure for representation and manipulation of Boolean functions which are frequently used in VLSI Design Automation. ...