C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated Verification of Parallel Nested DFS.
Wytse Oortwijn
Marieke Huisman
Sebastiaan J. C. Joosten
Jaco van de Pol
Published in:
TACAS (1) (2020)
Keyphrases
</>
automated verification
depth first search
model checking
automated reasoning
formal verification
parallel implementation
expert systems
breadth first search
distributed memory
parallel computing
massively parallel
tree search
parallel computation
parallel processing
load balancing
general purpose
machine learning