Login / Signup

Distributed Cube and Conquer with Paracooba.

Maximilian HeisingerMathias FleuryArmin Biere
Published in: SAT (2020)
Keyphrases
  • distributed systems
  • multi agent
  • distributed environment
  • cooperative
  • fault tolerant
  • agent technology
  • database
  • neural network
  • relational databases
  • response time
  • multi dimensional
  • peer to peer
  • lightweight