International Conference on Theory and Applications of Satisfiability Testing (SAT)

Event name
International Conference on Theory and Applications of Satisfiability Testing (SAT)
 
Start date
17-06-2012
End date
20-06-2012
 
Location
Trient, Italien
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Heule, Marijn ; Szeider, Stefan ; Järvisalo, Matti ; Van Gelder, Allen A SAT Approach to Clique-WidthKonferenzbeitrag Inproceedings 2013
2Ganian, Robert ; Szeider, Stefan Community Structure Inspired Algorithms for SAT and #SATKonferenzbeitrag Inproceedings 2015
3Slivovsky, Friedrich ; Szeider, Stefan ; Cimatti, Alessandro ; Sebastiani, Roberto Computing Resolution-Path Dependencies in Linear Time ,Konferenzbeitrag Inproceedings 2012
4Slivovsky, Friedrich ; Szeider, Stefan Dependency Schemes and Q-resolutionKonferenzbeitrag Inproceedings 2014
5de Haan, Ronald ; Szeider, Stefan Fixed-Parameter Tractable Reductions to SATKonferenzbeitrag Inproceedings 2014
6Lonsing, Florian ; Egly, Uwe Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIKonferenzbeitrag Inproceedings 2015
7Weissenbacher, Georg Interpolant Strength RevisitedKonferenzbeitrag Inproceedings 2012
8de Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan ; Järvisalo, Matti ; Van Gelder, Allen Local BackbonesKonferenzbeitrag Inproceedings 2013
9Jordan, Charles ; Kaiser, Lukasz ; Lonsing, Florian ; Seidl, Martina MPIDepQBF: Towards Parallel QBF Solving without Knowledge SharingKonferenzbeitrag Inproceedings 2014
10Gaspers, Serge ; Szeider, Stefan ; Cimatti, Alessandro ; Sebastiani, Roberto Strong Backdoors to Nested SatisfiabilityKonferenzbeitrag Inproceedings 2012
11Misra, Neeldhara ; Ordyniak, Sebastian ; Raman, Venkatesh ; Szeider, Stefan ; Järvisalo, Matti ; Van Gelder, Allen Upper and Lower Bounds for Weak Backdoor Set DetectionKonferenzbeitrag Inproceedings 2013