Login / Signup
Parallel algorithms for SAT in application to inversion problems of some discrete functions
Alexander A. Semenov
Oleg Zaikin
Dmitry Bespalov
Mikhail Posypkin
Published in:
CoRR (2011)
Keyphrases
</>
parallel algorithm
parallel computers
combinatorial search problems
real time
parallel computation
search algorithm