Symbol Elimination and Applications to Parametric Entailment Problems (Abstract).

Dennis Peuter Viorica Sofronie-Stokkermans

Published in: SOQE@KR (2021)

Keyphrases

optimization problems
np complete
benchmark problems
solving problems
case study
linear programming
higher level
logic programming
application domains
polynomial hierarchy