[Zurück]

@inproceedings{TUW-244602,
    author = {Lonsing, Florian and Bacchus, Fahiem and Biere, Armin and Egly, Uwe and Seidl, Martina},
    title = {Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination},
    booktitle = {Lecture Notes in Computer Science},
    year = {2015},
    pages = {418--433},
    publisher = {Springer},
    address = {9450},
    doi = {10.1007/978-3-662-48899-7{\_}29},
    note = {Vortrag: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Suva, Fiji; 2015-11-24 -- 2015-11-28}
}