International Workshop on Quantified Boolean Formulas

View Statistics Email Alert RSS Feed

Description

Event name
International Workshop on Quantified Boolean Formulas
 
Event type
Event for scientific audience
 
Start date
09-07-2013
Location
Helsinki
Country
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard Conformant Planning as a Benchmark for QBF-SolversKonferenzbeitrag Inproceedings 2013
2Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingPräsentation Presentation2014
3Slivovsky, Friedrich Dependency Schemes for Quantified Boolean FormulasPräsentation Presentation2015
4Egly, Uwe On the Relation between Resolution Calculi for QBFs and First-order FormulasPräsentation Presentation2014
5Egly, Uwe ; Widl, Magdalena ; Seidl, Martina ; Lonsing, Florian Solution extraction from long-distance resolution proofsKonferenzbeitrag Inproceedings 2013
6Lonsing, Florian ; Seidl, Martina The QBF Gallery 2013Präsentation Presentation2013
7Slivovsky, Friedrich ; Szeider, Stefan ; Lonsing, Florian ; Seidl, Martina Variable Dependencies and Q-ResolutionKonferenzbeitrag Inproceedings 2013