[Zurück]

@inproceedings{TUW-223542,
    author = {Goultiaeva, Alexandra and Seidl, Martina and Biere, Armin},
    title = {Bridging the gap between dual propagation and CNF-based QBF solving},
    booktitle = {Proceedings of Design, Automation and Test in Europe (DATE)},
    year = {2013},
    pages = {811--814},
    address = {San Jose, CA, USA},
    url = {http://dl.acm.org/ft_gateway.cfm?id=2485484&ftid=1371667&dwn=1&CFID=272630725&CFTOKEN=43599257},
    isbn = {978-1-4503-2153-2},
    note = {Vortrag: DATE 2013 - Design, Automation {\&} Test in Europe, Grenoble; 2013-03-18 -- 2013-03-22}
}