NP Datalog: A Logic Language for NP Search and Optimization Queries.

Sergio Greco, Irina Trubitsyna, Ester Zumpano

Browse the full IDEAS paper archive.