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