Solving Hard Mizar Problems with Instantiation and Strategy Invention.

Jan Jakubuv Mikolás Janota Josef Urban

Published in: CoRR (2024)

Keyphrases

solving hard
search problems
combinatorial problems
optimization problems
domain specific
simulated annealing
satisfiability problem