16404 search results - page 3233 / 3281 » A set coverage problem |
148
click to vote
AI
2005
Springer
15 years 14 days ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
127
click to vote
TCAD
2008
15 years 14 days ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
127
Voted
TCAD
2008
15 years 14 days ago
2008
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
121
Voted
TCBB
2008
15 years 14 days ago
2008
It is a consensus in microarray analysis that identifying potential local patterns, characterized by coherent groups of genes and conditions, may shed light on the discovery of pre...
127
click to vote
ASE
2005
15 years 13 days ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...