Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation.

Published in: IJCAR (2) (2020)

Keyphrases

high level
generation algorithm
information systems
case study
search algorithm
lower bound
model checking
temporal logic
generation process