On Minimum Representations of Matched Formulas (Extended Abstract)
doi 10.24963/ijcai.2017/706
Full Text
Open PDFAbstract
Available in full text
Date
August 1, 2017
Authors
Publisher
International Joint Conferences on Artificial Intelligence Organization