Theory and applications of satisfiability testing -- SAT 2015. 18th international conference, Austin, TX, USA, September 24--27, 2015. Proceedings
From MaRDI portal
Publication:496123
DOI10.1007/978-3-319-24318-4zbMATH Open1323.68009OpenAlexW2506963967MaRDI QIDQ496123
Author name not available (Why is that?)
Publication date: 17 September 2015
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-24318-4
No records found.
This page was built for publication: Theory and applications of satisfiability testing -- SAT 2015. 18th international conference, Austin, TX, USA, September 24--27, 2015. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q496123)
