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)
 
Event type
Event for scientific audience
 
Start date
17-06-2012
End date
20-06-2012
 
Location
Trient
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

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