Fairness and promptness in Muller formulas.

Youssouf Oualhadj Léo Tible Daniele Varacca

Published in: CoRR (2022)

Keyphrases

resource allocation
mathematical formulas
information systems
horn clauses
game theory
tree decompositions
artificial intelligence
artificial neural networks
search space
data model
np hard
predicate calculus