Robust Satisfiability of Systems of Equations.

Peter Franek Marek Krcál

Published in: J. ACM (2015)

Keyphrases

management system
information systems
complex systems
distributed systems
linear systems
video sequences
control system
intelligent systems
learning systems
satisfiability problem
computational properties