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

Book title Buchtitel
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
 
ISBN
978-3-95977-286-0
 
Publisher Herausgeber
Schloss-Dagstuhl - Leibniz Zentrum für Informatik
 
DOI
10.4230/LIPIcs.SAT.2023
 
Series Schriftenreihe
Leibniz International Proceedings in Informatics
 
Volume Band
271
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kirchweger-2023-A SAT Solvers Opinion on the Erdos-Faber-Lovasz Conjecture-vor.pdf.jpgKirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan A SAT Solver's Opinion on the Erdos-Faber-Lovász ConjectureInproceedings Konferenzbeitrag 9-Aug-2023
22023-SAT-Based Generation of Planar Graphs-vor.pdf.jpgMarkus Kirchweger ; Scheucher, Manfred ; Szeider, Stefan SAT-Based Generation of Planar GraphsInproceedings Konferenzbeitrag 9-Aug-2023
3De Colnet-2023-Separating Incremental and Non-Incremental Bottom-Up Compi...-vor.pdf.jpgDe Colnet, Alexis Separating Incremental and Non-Incremental Bottom-Up CompilationInproceedings Konferenzbeitrag 9-Aug-2023