Formally Verified Algorithms for Upper-Bounding State Space Diameters.

Mohammad Abdulaziz Michael Norrish Charles Gretton

Published in: J. Autom. Reason. (2018)

Keyphrases

state space
upper bounding
data structure
computational complexity
special case
optimization problems
combinatorial optimization
constraint programming