Skip to content

Algorithms for Deciding Counting Quantifiers over Unary Predicates.

Marcelo Finger, Glauber De Bona

VenueA*AAAI
Year2017
ProceedingsAAAI

Browse the full AAAI paper archive.