1407 search results - page 230 / 282 » Join-Graph Propagation Algorithms |
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Nowadays a lot of effort is spent on developing OFDMbased inexpensive wireless transceivers. Direct-conversion radio frequency transceivers are appealing because they a...
VTS
2007
IEEE
14 years 3 months ago
2007
IEEE
: Conventionally, path delay tests are derived in a delay-independent manner, which causes most faults to be robustly untestable. Many non-robust tests are found but, in practice, ...
CPAIOR
2007
Springer
14 years 2 months ago
2007
Springer
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, an O(n4 ) algorithm...
CSCLP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too ac...