Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming.

Chitta Baral, Cenk Uyan

Browse the full LPNMR paper archive.