Satisfiability of Systems of Equations over Finite Monoids.

Cristopher Moore Pascal Tesson Denis Thérien

Published in: MFCS (2001)

Keyphrases

computer systems
management system
information retrieval systems
distributed systems
np complete
linear systems
artificial intelligence
xml documents
query language
building blocks
model checking
satisfiability problem
propositional logic