Robust Satisfiability of Systems of Equations.

Peter Franek Marek Krcál

Published in: CoRR (2014)

Keyphrases

data sets
management system
information systems
database systems
computational complexity
expert systems
distributed systems
computationally efficient
building blocks
propositional logic