Cited By
View all- Ge-Ernst AScholl CSíč JWimmer R(2022)Solving dependency quantified Boolean formulas using quantifier localizationTheoretical Computer Science10.1016/j.tcs.2022.03.029Online publication date: Mar-2022
- Munoz DOh JPinto MFuentes LBatory D(2019)Uniform Random Sampling Product Configurations of Feature Models That Have Numerical FeaturesProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336297(289-301)Online publication date: 9-Sep-2019
- Tang YNorman TParsons S(2010)Computing argumentation in polynomial number of BDD operationsProceedings of the 7th international conference on Argumentation in Multi-Agent Systems10.1007/978-3-642-21940-5_16(268-285)Online publication date: 10-May-2010
- Show More Cited By