Login / Signup
Fast and Work-Optimal Parallel Algorithms for Predicate Detection.
Rohan Garg
Published in:
CoRR (2020)
Keyphrases
</>
parallel algorithm
parallel computation
parallel programming
pc cluster
real time
parallel version
constraint satisfaction problems
first order logic
shared memory
interconnection networks
cluster of workstations
combinatorial search problems