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

28th International Conference on Theory and Applications of Satisfiability Testing

SAT 2025, August 12-15, 2025, Glasgow, Scotland
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 341
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 <28, 2025, Glasgow>

Details

Search for this author
Year: 2025
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-381-2
ISBN (2nd): 3-95977-381-1
Series: Leibniz International Proceedings in Informatics; 341
Participating parties: Search for this character Berg, Jeremias; Nordström, Jakob
Media group: LIPIcs