Instance Class SolitaireBackward2

Class Tree
Description Authors: Lengning Liu and Miroslaw Truszczynski
Affiliation: University of Kentucky
Email: {lliu1, mirek}@cs.uky.edu
Submitter Martin Gebser
Compatible Encodings
    Output Predicates
      Instances
      1 - 10 of 10