Satisfiability test with synchronous simulated annealing on the Fujitsu AP1000 massively-parallel multiprocessor

Andrew Sohn, Rupak Biswas

Research output: Contribution to conferencePaperpeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'Satisfiability test with synchronous simulated annealing on the Fujitsu AP1000 massively-parallel multiprocessor'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering