Satisfiability and Canonisation of Timely Constraints

Yannai A. Gonczarowski

Published in: CoRR (2013)

Keyphrases

satisfiability problem
computational complexity
decision making
database
databases
neural network
np complete
constraint programming
resource constraints
automata theoretic