Sciweavers

707 search results - page 22 / 142
» The Nonhomomorphicity of Boolean Functions
Sort
View
COCO
2001
Springer
107views Algorithms» more  COCO 2001»
14 years 12 days ago
In Search of an Easy Witness: Exponential Time vs. Probabilistic Polynomial Time
Restricting the search space {0, 1}n to the set of truth tables of “easy” Boolean functions on log n variables, as well as using some known hardness-randomness tradeoffs, we ...
Russell Impagliazzo, Valentine Kabanets, Avi Wigde...
ISMVL
2007
IEEE
102views Hardware» more  ISMVL 2007»
14 years 2 months ago
A Generalization of the Deutsch-Jozsa Algorithm to Multi-Valued Quantum Logic
We generalize the binary Deutsch-Jozsa algorithm to nvalued logic using the quantum Fourier transform. Our algorithm is not only able to distinguish between constant and balanced ...
Yale Fan
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
14 years 1 months ago
Using conjugate symmetries to enhance gate-level simulations
State machine based simulation of Boolean functions is substantially faster if the function being simulated is symmetric. Unfortunately function symmetries are comparatively rare....
Peter M. Maurer
DAM
2008
102views more  DAM 2008»
13 years 7 months ago
Formulas for approximating pseudo-Boolean random variables
We consider {0, 1}n as a sample space with a probability measure on it, thus making pseudo-Boolean functions into random variables. We then derive explicit formulas for approximat...
Guoli Ding, Robert F. Lax, Jianhua Chen, Peter P. ...
ASPDAC
2005
ACM
117views Hardware» more  ASPDAC 2005»
14 years 1 months ago
Dynamic symmetry-breaking for improved Boolean optimization
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...