Name Card

Full name Familienname, Vorname
Van Gelder, Allen
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen The QBF Gallery: Behind the ScenesArtikel Article 2016
2Janota, Mikolás ; Jordan, Charles ; Klieber, Will ; Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen The QBF Gallery 2014: The QBF Competition at the FLoC Olympic GamesArtikel Article 2016
3Lonsing, Florian ; Egly, Uwe ; Van Gelder, Allen Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit PropagationKonferenzbeitrag Inproceedings 2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1de Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan Local BackbonesKonferenzbeitrag Inproceedings 2013
2Heule, Marijn ; Szeider, Stefan A SAT Approach to Clique-WidthKonferenzbeitrag Inproceedings 2013
3Misra, Neeldhara ; Ordyniak, Sebastian ; Raman, Venkatesh ; Szeider, Stefan Upper and Lower Bounds for Weak Backdoor Set DetectionKonferenzbeitrag Inproceedings 2013