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
- Ge-Emst AScholl CWimmer R(2019)Localizing Quantifiers for DQBF2019 Formal Methods in Computer Aided Design (FMCAD)10.23919/FMCAD.2019.8894269(184-192)Online publication date: Oct-2019
- Torralba ÁAlcázar VKissmann PEdelkamp S(2017)Efficient symbolic search for cost-optimal planningArtificial Intelligence10.1016/j.artint.2016.10.001242:C(52-79)Online publication date: 1-Jan-2017
- Show More Cited By