1278 search results - page 151 / 256 » The Complexity of Weighted Boolean |
IPM
2006
13 years 10 months ago
2006
The Web and especially major Web search engines are essential tools in the quest to locate online information for many people. This paper reports results from research that examin...
JAR
2006
13 years 10 months ago
2006
Abstract. As products are growing more complex, so is their documentation. With an increasing number of product options, the diversity in service and maintenance procedures grows a...
CAD
2004
Springer
13 years 10 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
SIAMCOMP
2002
13 years 10 months ago
2002
We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, build...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We analyze judgement aggregation problems in which a group of agents independently votes on a set of complex propositions that has some interdependency constraint between them (e....