2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX)

Book title Buchtitel
2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX)
 
ISBN
978-1-61197-704-2
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schidler, André ; Szeider, Stefan A SAT Approach to Twin-WidthInproceedings Konferenzbeitrag 2022