Prolog to On the Complexity of the Verification of the Costas Property.

Published in: Proc. IEEE (2009)

Keyphrases

logic programming
computational complexity
computational cost
decision problems
space complexity
worst case
model checking
knowledge base
programming language
special case
desirable properties
cryptographic protocols
constraint logic programming
programming paradigms