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

View Statistics Email Alert RSS Feed

Description

Event name
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
 
Event type
Event for scientific audience
 
Start date
21-08-2024
End date
24-08-2024
 
Location
Pune
Country
India
 
Conference Track
Single Track
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Reichl-2024-eSLIM Circuit Minimization with SAT Based Local Improvement-vor.pdf.jpgReichl, Franz Xaver ; Slivovsky, Friedrich ; Szeider, Stefan eSLIM: Circuit Minimization with SAT Based Local ImprovementInproceedings Konferenzbeitrag 2024
2de Colnet-2024-On the Relative Efficiency of Dynamic and Static Top-Down ...-vor.pdf.jpgde Colnet, Alexis On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNFInproceedings Konferenzbeitrag 2024
3Zhang-2024-Small Unsatisfiable k-CNFs with Bounded Literal Occurrence-vor.pdf.jpgZhang, Tianwei; Peitl, Tomáš; Szeider, StefanSmall Unsatisfiable k-CNFs with Bounded Literal OccurrenceInproceedings Konferenzbeitrag 2024