Sign in
Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes.
Antonis Achilleos
Aggeliki Chalki
Published in:
MFCS (2023)
Keyphrases
</>
intrinsic complexity
inductive inference
tractable cases
genetic algorithm