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

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
 
ISBN
978-3-95977-334-8
 
Publisher Verlag
Schloss Dagstuhl
 
Place of publishing Erscheinungsort
Leibniz-Zentrum für Informatik
 
Volume Band
305
 

Publications Publikationen

Results 1-2 of 2 (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