26th International Conference on Theory and Applications of Satisfiability Testing
Book title Buchtitel
26th International Conference on Theory and Applications of Satisfiability Testing
ISBN
978-3-95977-286-0
Editor Herausgeber_in
Publisher Herausgeber
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI
10.4230/LIPIcs.SAT.2023.0
Series Schriftenreihe
Leibniz International Proceedings in Informatics
Volume Band
271
Access Type
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).