Decision procedures for multiple auctions.

Andrew Byde Chris Preist Nicholas R. Jennings

Published in: AAMAS (2002)

Keyphrases

decision procedures
theorem proving
databases
modal logic
automated reasoning
conjunctive queries
database
data mining
machine learning
artificial intelligence
data analysis
data management
satisfiability problem