Finger, Marcelo

2 publications

AAAI 2017 Algorithms for Deciding Counting Quantifiers over Unary Predicates Marcelo Finger, Glauber De Bona

IJCAI 2011 Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition Marcelo Finger, Glauber De Bona