Login / Signup
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.
Philippe Balbiani
David Fernández-Duque
Andreas Herzig
Petar Iliev
Published in:
Log. J. IGPL (2022)
Keyphrases
</>
lower bound
upper bound
worst case
average case complexity
computational complexity
upper and lower bounds
knowledge base
nash equilibria
decision problems
computer games
branch and bound
branch and bound algorithm
game theory
np hard
special case
objective function
game playing
vc dimension
average case