Sciweavers

1278 search results - page 4 / 256
» The Complexity of Weighted Boolean
Sort
View
COCO
2004
Springer
133views Algorithms» more  COCO 2004»
15 years 3 months ago
Parameterized Complexity of Constraint Satisfaction Problems
We prove a parameterized analog of Schaefer’s Dichotomy Theorem: we show that for every finite boolean constraint family F, deciding whether a formula containing constraints fr...
Dániel Marx
106
Voted
BIRTHDAY
2004
Springer
15 years 1 months ago
On Models for Quantified Boolean Formulas
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...
Hans Kleine Büning, Xishun Zhao
SIGMOD
2010
ACM
164views Database» more  SIGMOD 2010»
14 years 10 months ago
Efficiently evaluating complex boolean expressions
The problem of efficiently evaluating a large collection of complex Boolean expressions
Marcus Fontoura, Suhas Sadanandan, Jayavel Shanmug...
97
Voted
CSL
2008
Springer
14 years 11 months ago
Quantitative Languages
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
72
Voted
TCS
2002
14 years 9 months ago
Complexity measures and decision tree complexity: a survey
We discuss several complexity measures for Boolean functions: certi cate complexity, sensitivity, block sensitivity, and the degree of a representing or approximating polynomial. ...
Harry Buhrman, Ronald de Wolf