8746 search results - page 545 / 1750 » Diversifying search results |
189
click to vote
LPNMR
2004
Springer
16 years 18 days ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...
147
Voted
SAT
2004
Springer
16 years 18 days ago
2004
Springer
The variable branching heuristics used in the most recent and most effective SAT solvers, including zChaff and BerkMin, can be viewed as consisting of a simple mechanism for rewa...
181
click to vote
SAT
2004
Springer
16 years 18 days ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
206
click to vote
ICDCSW
2003
IEEE
16 years 16 days ago
2003
IEEE
Power conservation is a critical issue for ad hoc wireless networks. The main objective of the paper is to find the minimum uniform transmission power of an ad hoc wireless netwo...
206
click to vote
ICTAI
2003
IEEE
16 years 16 days ago
2003
IEEE
The paper proposes a Distributed Open Semantic Elaboration platform based on a modular multilingual enabled architecture, which includes ontology, annotations, lexical entities an...