No. Title Author Year
1 Understanding Model Counting for beta-acyclic CNF-formulas Brault-Baron, Johann et al. 2015
2 A Negative Conjunctive Query is Easy if and only if it is Beta-Acyclic Brault-Baron, Johann 2012
Current Page :
Number of result pages: 1
Number of documents: 2

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI