An initial study of time complexity in infinite-domain constraint satisfaction

Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99

Simon Colton, Alan Bundy, Toby Walsh · 1999 · 2.5K citations

Computing, Computer Engineering, Computer Science +12

Which Problems Have Strongly Exponential Complexity?

Russell Impagliazzo, Ramamohan Paturi, Francis Zane · Journal of Computer and System Sciences · 2001 · 1.4K citations

Computing, Computer Science, Mathematics +16

On the Complexity of k-SAT

Russell Impagliazzo, Ramamohan Paturi · Journal of Computer and System Sciences · 2001 · 1K citations

Computing, Computer Science, Mathematics +10

Constraint processing

Laurent Geneste · Engineering Applications of Artificial Intelligence · 2004 · 865 citations

Constraint Query Languages

Paris C. Kanellakis, Gabriel M. Kuper, Péter Révész · Journal of Computer and System Sciences · 1995 · 679 citations