Concurrent Clause Strengthening.

Siert Wieringa Keijo Heljanko

Published in: SAT (2013)

Keyphrases

mutual exclusion
search space
real world
artificial intelligence
database
real time
data sets
website
clustering algorithm
multi agent
artificial neural networks
theorem prover
long running
hierarchical reinforcement learning
satisfiability testing
concurrent programs