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.dagstuhl.de/rec/journals/dagstuhl-reports/BeyersdorffCEV16.xml
Olaf Beyersdorff Nadia Creignou Uwe Egly Heribert Vollmer SAT and Interactions (Dagstuhl Seminar 16381). 74-93 2016 6 Dagstuhl Reports 9 https://doi.org/10.4230/DagRep.6.9.74 db/journals/dagstuhl-reports/dagstuhl-reports6.html#BeyersdorffCEV16