295 search results - page 33 / 59 » SAT, SMT and Applications |
115
click to vote
AAAI
2008
15 years 4 months ago
2008
Many real-world problems are characterized by complex relational structure, which can be succinctly represented in firstorder logic. However, many relational inference algorithms ...
125
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of [ES06] in that ...
137
click to vote
IEEEPACT
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a novel mechanism, called meeting point thread characterization, to dynamically detect critical threads in a parallel region. We define the critical thread the one with...
109
click to vote
PDPTA
2000
15 years 3 months ago
2000
Abstract In this paper, we propose a microprocessor architecture which eciently utilizes nextgeneration semiconductor technology. While the technology makes it possible to integrat...
145
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...