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

29th International Conference on Theory and Applications of Satisfiability Testing

SAT 2026, Lisbon, Portugal, July 20-23, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 377
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 <29, 2026, Lisbon>

Details

Search for this author
Year: 2026
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
Series: Leibniz International Proceedings in Informatics; 377
Participating parties: Search for this character Ignatiev, Alexey; Szeider, Stefan
Media group: LIPIcs