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

27th International Conference on Theory and Applications of Satisfiability Testing

SAT 2024, August 21-24, 2024, Pune, India
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 305
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 <27, 2024, Pune>

Details

Search for this author
Year: 2024
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-334-8
ISBN (2nd): 3-95977-334-X
Series: Leibniz International Proceedings in Informatics; 305
Participating parties: Search for this character Chakraborty, Supratik; Jiang, Jie-Hong Roland
Media group: LIPIcs