19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016

Event name
19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016
 
Event type
Event for scientific audience
 
Start date
05-07-2016
End date
08-07-2016
 
Location
Bordeaux, France
Bordeaux, France
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-5 of 5 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reger, Giles ; Suda, Martin ; Voronkov, Andrei Finding Finite Models in Multi-sorted First-Order LogicKonferenzbeitrag Inproceedings 2016
2Balyo, Tomáš ; Lonsing, Florian HordeQBF: A Modular and Massively Parallel QBF SolverKonferenzbeitrag Inproceedings 2016
3Beyersdorff, Olaf ; Chew, Leroy ; Schmidt, Renate A. ; Suda, Martin Lifting QBF Resolution Calculi to DQBFKonferenzbeitrag Inproceedings 2016
4Egly, Uwe On Stronger Calculi for QBFsKonferenzbeitrag Inproceedings 2016
5Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016