Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution).

Paulína Ayaziová Marek Chalupa Jan Strejcek

Published in: TACAS (2) (2022)

Keyphrases

simplex method
linear programming
linear program
column generation
neural network
convergence rate
international competition
constraint violations
reinforcement learning
special case
optimization problems