Login / Signup
Towards Parallel Boolean Functional Synthesis.
S. Akshay
Supratik Chakraborty
Ajith K. John
Shetal Shah
Published in:
TACAS (1) (2017)
Keyphrases
</>
shared memory
real valued
parallel implementation
parallel processing
expert systems
computer architecture
parallel computation
depth first search