Refutation of Products of Linear Polynomials.

Jan Horácek Martin Kreuzer

Published in: SC-Square@FLOC (2018)

Keyphrases

linear systems
theorem proving
low order
genetic algorithm
information systems
case study
objective function
higher order