Solving Hard Mizar Problems with Instantiation and Strategy Invention.

Jan Jakubuv Mikolás Janota Josef Urban

Published in: CICM (2024)

Keyphrases

solving hard
combinatorial problems
search problems
satisfiability problem
optimization problems
orders of magnitude
combinatorial optimization
objective function
information retrieval systems
query expansion
constraint satisfaction