1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Sergio Greco, Cristian Molinaro, Irina Trubitsyna +1
This paper presents a logic language for expressing NP search and optimization problems. Specifically, first a language obtained by extending (positive) Datalog with intuitive and…