Login / Signup
Auction Robustness through Satisability Modulo Theories.
Miquel Bofill
Dídac Busquets
Mateu Villaret
Published in:
WAT (2009)
Keyphrases
</>
modulo theories
answer set programming
object oriented
general purpose
online auctions