Random generation of combinatorial structures from a uniform
Theoretical Computer Science
An empirical evaluation of knowledge compilation by theory approximation
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
An introduction to computational learning theory
An introduction to computational learning theory
Knowledge compilation and theory approximation
Journal of the ACM (JACM)
On the hardness of approximate reasoning
Artificial Intelligence
Variable and term removal from Boolean formulae
Discrete Applied Mathematics
Algorithms for propositional KB approximation
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Renaming a Set of Clauses as a Horn Set
Journal of the ACM (JACM)
Maximum renamable Horn sub-CNFs
Discrete Applied Mathematics - Special issue on the satisfiability problem and Boolean functions
Random 3-SAT and BDDs: The Plot Thickens Further
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A survey on knowledge compilation
AI Communications
Journal of Artificial Intelligence Research
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Combinatorial Problems for Horn Clauses
Graph Theory, Computational Intelligence and Thought
Hi-index | 0.00 |
We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of variables. Negative results are given for the quality of approximation in this extended version. On the other hand, experiments for random 3-CNF show that the new algorithms improve both running time and approximation quality. The output sizes and approximation errors exhibit a 'Horn bump' phenomenon: unimodal patterns are observed with maxima in some intermediate range of densities. We also present the results of experiments generating pseudo-random satisfying assignments for Horn formulas.