Login / Signup
PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems.
Hantao Zhang
Maria Paola Bonacina
Jieh 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