iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/lpnmr/CharwatW15.xml
Günther Charwat Stefan Woltran Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. 213-227 2015 LPNMR https://doi.org/10.1007/978-3-319-23264-5_19 conf/lpnmr/2015 db/conf/lpnmr/lpnmr2015.html#CharwatW15