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

View Statistics Email Alert RSS Feed

Description

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
Europe
 
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