Instance Class Random (small)

Class Tree
Description This is a collection of small to med-size randomly generated influence graphs along with partial vertex labelings. They have been used for "Identifying Minimal Inconsistent Cores", Section 6.2 in the following paper:

Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel and Philippe Veber. Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. In M. Garcia de la Banda and E. Pontelli. Proceedings of the Twenty-fourth International Conference on Logic Programming (ICLP'08), LNCS, volume 5366, pp. 130-144, Springer Verlag, 2008.
Submitter Martin Gebser
Compatible Encodings
    Output Predicates
    • edge/2
    • input/1
    • obs_elabel/3
    • obs_vlabel/2
    • vertex/1
    Instances
    21 - 40 of 550