Normal view MARC view ISBD view

Theory and Applications of Satisfiability Testing – SAT 2020

Luca Pulina, Martina Seidl

Theory and Applications of Satisfiability Testing – SAT 2020 - Springer Springer 2020

ISBN: 9783030518257

Source: EBOOK