Login / Signup
Propositional proof systems based on maximum satisfiability.
Maria Luisa Bonet
Sam Buss
Alexey Ignatiev
António Morgado
João Marques-Silva
Published in:
Artif. Intell. (2021)
Keyphrases
</>
propositional logic
evolutionary algorithm
np hard
orders of magnitude