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

Event name
26th International Conference on Theory and Applications of Satisfiability Testing (SAT)
 
Event type
Event for scientific audience
 
Start date
04-07-2023
End date
08-07-2023
 
Location
Alghero
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Rebola Pardo, Adrian Even Shorter Proofs Without New VariablesInproceedings Konferenzbeitrag 2023
2Kirchweger-2023-A SAT Solvers Opinion on the Erdos-Faber-Lovasz Conjecture-vor.pdf.jpgKirchweger, Markus ; Peitl, Tomas ; Szeider, Stefan A SAT Solver's Opinion on the Erdos-Faber-Lovász ConjectureInproceedings Konferenzbeitrag 9-Aug-2023
32023-SAT-Based Generation of Planar Graphs-vor.pdf.jpgMarkus Kirchweger ; Scheucher, Manfred ; Stefan Szeider SAT-Based Generation of Planar GraphsInproceedings Konferenzbeitrag 9-Aug-2023
4De 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