Login / Signup

PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems.

Hantao ZhangMaria Paola BonacinaJieh Hsiang
Published in: J. Symb. Comput. (1996)
Keyphrases
  • decision problems
  • multi agent
  • distributed systems
  • case study
  • propositional logic
  • problems involving
  • knowledge base
  • np complete
  • lightweight
  • first order logic
  • distributed environment