Results 1 - 10
of
1,770
Boolean Formulae
"... Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual notion of solution inappropriate. As a consequence, basic properties of Constraint Satisfaction Problems (CSP), such as c ..."
Abstract
- Add to MetaCart
Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual notion of solution inappropriate. As a consequence, basic properties of Constraint Satisfaction Problems (CSP
Boolean formula?
"... #SAT: How many satisfying assignments are there in a ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
#SAT: How many satisfying assignments are there in a
◦ Boolean formulas
"... How to encode a problem into SAT? c famous problem (in CNF) p cnf 6 9 1 4 0 ..."
Abstract
- Add to MetaCart
How to encode a problem into SAT? c famous problem (in CNF) p cnf 6 9 1 4 0
Cryptographic Limitations on Learning Boolean Formulae and Finite Automata
- PROCEEDINGS OF THE TWENTY-FIRST ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING
, 1989
"... In this paper we prove the intractability of learning several classes of Boolean functions in the distribution-free model (also called the Probably Approximately Correct or PAC model) of learning from examples. These results are representation independent, in that they hold regardless of the syntact ..."
Abstract
-
Cited by 347 (14 self)
- Add to MetaCart
of the syntactic form in which the learner chooses to represent its hypotheses. Our methods reduce the problems of cracking a number of well-known public-key cryptosystems to the learning problems. We prove that a polynomial-time learning algorithm for Boolean formulae, deterministic finite automata or constant
Weighted boolean formula games
- In Proceedings of the 3rd International Workshop on Internet and Network Economics (WINE
, 2007
"... We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean formulas he wants to get satisfied. The boolean formulas of all players involve a ground set of boolean variables, and every player controls some of these variables. The payoff o ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean formulas he wants to get satisfied. The boolean formulas of all players involve a ground set of boolean variables, and every player controls some of these variables. The payoff
The Boolean formula value problem
, 1987
"... Abstract The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish notation Boolean formulas is also in alternating log time. These results are optimal since the Boolean formula v ..."
Abstract
- Add to MetaCart
Abstract The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish notation Boolean formulas is also in alternating log time. These results are optimal since the Boolean formula
The Boolean formula value problem is in ALOGTIME
- in Proceedings of the 19-th Annual ACM Symposium on Theory of Computing
, 1987
"... The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish notation Boolean formulas is also in alternating log time. These results are optimal since the Boolean formula value ..."
Abstract
-
Cited by 79 (7 self)
- Add to MetaCart
The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish notation Boolean formulas is also in alternating log time. These results are optimal since the Boolean formula value
Automated reencoding of boolean formulas
- In Proceedings of Haifa Verification Conference
, 2012
"... Abstract. We present a novel preprocessing technique to automatically reduce the size of Boolean formulas. This technique, called Bounded Variable Addition (BVA), exchanges clauses for variables. Similar to other preprocessing techniques, BVA greedily lowers the sum of variables and clauses, a rough ..."
Abstract
-
Cited by 6 (5 self)
- Add to MetaCart
Abstract. We present a novel preprocessing technique to automatically reduce the size of Boolean formulas. This technique, called Bounded Variable Addition (BVA), exchanges clauses for variables. Similar to other preprocessing techniques, BVA greedily lowers the sum of variables and clauses, a
ON THE ORTHOGONALIZATION OF ARBITRARY BOOLEAN FORMULAE
, 2004
"... The orthogonal conjunctive normal form of a Boolean function is a conjunctive normal form in which any two clauses contain at least a pair of complementary literals. Orthog-onal disjunctive normal form is defined similarly. Orthogonalization is the process of transforming the normal form of a Boolea ..."
Abstract
- Add to MetaCart
general proce-dure for transforming an arbitrary CNF or DNF to an orthogonal one is proposed. Such procedure is tested on randomly generated Boolean formulae. 1.
Results 1 - 10
of
1,770