Cover von 26th International Conference on Theory and Applications of Satisfiability Testing opens in new tab

26th International Conference on Theory and Applications of Satisfiability Testing

SAT 2023 : July 4 - 8, 2023, Alghero, Italy
Search for this author
Year: 2023
Series: Leibniz International Proceedings in Informatics; 271
Media group: LIPIcs
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: online only Location 2: ELECTRONIC EDITION Location 3: Status: OpenAccess

Content

International Conference on Theory and Applications of Satisfiability Testing <26, 2023, Alghero>

Details

Search for this author
Year: 2023
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-286-0
ISBN (2nd): 3-95977-286-6
Description: 522 pp.
Series: Leibniz International Proceedings in Informatics; 271
Participating parties: Search for this character Mahajan, Meena; Slivovsky, Friedrich
Media group: LIPIcs