----------
References
----------

The datasets are generated from the application described in the following paper:

Scaling Relational Inference Using Proofs and Refutations. Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik.
In the proceeding of the Thirtieth AAAI Conference on Artificial Intelligence, 2016.


-----------
Application
-----------

The referred paper solves the relational inference problem by iteratively invoking a MaxSAT solver.

--------
Datasets
--------

All instances are weighted partial instances.

The datasets are generated by applying the described approach on a program analysis problem and two information
retrieval problems.

The program analysis problem (PA) is a pointer analysis, a foundational program analysis that approximates which program 
variables point to which memory locations.

AR is an advisor recommendation system to aid new graduate students in finding good PhD advisors. The datasets for this 
application were generated from the AI Genealogy Project (http://aigp.eecs.umich.edu) and from DBLP (http://dblp.uni-trier.de).

RC classifies papers from the Cora dataset (http://hpi.de/naumann/projects/repeatability/datasets/cora-dataset.html) into 
different categories based on the authors and their main area of research.

--------
Contacts
--------

Xin Zhang, xin.zhang@gatech.edu
Xujie Si, six@gatech.edu
Mayur Naik, naik@cc.gatech.edu