Sign in

ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving.

Maximilian HeisingerMartina SeidlArmin Biere
Published in: TACAS (1) (2023)
Keyphrases
  • lightweight
  • cooperative
  • multi agent
  • main contribution
  • theoretical framework
  • distributed systems
  • map reduce
  • distributed architecture
  • distributed processing
  • quantified boolean formulas