Searching for "CNF Encodings." – sorted by Relevance.
100 documents found, showing 1 through 10.
Next 10 →
-
Effective CNF Encodings for the Towers of Hanoi
- …Effective CNF Encodings for the Towers of Hanoi Ruben Martins and Inês Lynce IST…
- Add To MetaCart
-
Full CNF Encoding: The Counting Constraints Case
- …Full CNF Encoding: The Counting Constraints Case Olivier Bailleux 1 and Yacine Boufkhad 2 1 LERSIA…
- Cited by 4 (0 self) – Add To MetaCart
-
Towards an optimal cnf encoding of boolean cardinality constraints
- …Towards an Optimal CNF Encoding of Boolean Cardinality Constraints (Technical Report) Carsten Sinz…
- Cited by 10 (1 self) – Add To MetaCart
-
Towards robust CNF encodings of cardinality constraints, in
- …Towards Robust CNF Encodings of Cardinality Constraints Joao Marques-Silva 1 and Inês Lynce 2 1…
- Cited by 2 (1 self) – Add To MetaCart
-
Gac via unit propagation
- … (UP) over a CNF encoding of the constraint. This approach to GAC offers a number of advantages over…
- Cited by 1 (0 self) – Add To MetaCart
-
Compiling Bayesian Networks with Local Structure
- … networks has reduced the problem to that of factoring CNF encodings of these networks, providing…
- Cited by 18 (2 self) – Add To MetaCart
-
Exploiting Causal Independence Using Weighted Model Counting
- … needs to specify. In particular, we present two space efficient CNF encodings for noisy- OR…
- Add To MetaCart
-
Logical compilation of Bayesian networks
- … idea is to encode the network by logical sentences and to compile the resulting CNF into a…
- Cited by 1 (0 self) – Add To MetaCart
-
Justification-Based Non-Clausal Local Search for SAT
- … CNF encodings of the instances. 1 INTRODUCTION Advances in propositional satisfiability (SAT) testing…
- Cited by 1 (1 self) – Add To MetaCart
-
Encoding CNFs to Empower Component Analysis
- … to CNF encodings of Bayesian networks, which can be used to answer probabilistic queries through weighted…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
