On Weakening Strategies for PB Solvers.

Daniel Le Berre Pierre Marquis Romain Wallon

Published in: CoRR (2020)

Keyphrases

databases
artificial intelligence
data structure
database
highly optimized
real world
three dimensional
objective function
multi agent
general purpose
logic programs
online auctions
optimal strategy