Regular ArticleEfficient Spectral Coefficient Calculation Using Circuit Output Probabilities
References (0)
Cited by (6)
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
2021, Artificial IntelligenceCitation Excerpt :However, we believe that the current order of presentation is more natural and informative. The idea of evaluating Fourier Expansions and the result of Theorem 6 can find connections with circuit-output probability and spectral coefficients [81,82]. Related research showed that local search SAT solvers, such as GSAT, spend most of the time on the so-called “sideway” moves [14].
On Continuous Local BDD-Based Search for Hybrid SAT Solving
2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021BDD-based spectral approach for Reed-Muller circuit realisation
1996, IEE Proceedings: Computers and Digital Techniques
Copyright © 1994 Academic Press. All rights reserved.