Login / Signup
The impact of analog computational error on an analog boolean satisfiability solver.
David A. Basford
Jared M. Smith
R. Joseph Connor
Bruce J. MacLennan
Jeremy Holleman
Published in:
ISCAS (2016)
Keyphrases
</>
boolean satisfiability
sat solving
branch and bound algorithm
randomly generated
boolean optimization
multi agent
special case
sat solvers
boolean functions
integer linear programming
symmetry breaking
maximum satisfiability