Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
Theory and Applications of Satisfiability Testing – SAT 2018
heftet,
2018,
Engelsk,
ISBN 9783319941431
This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July …
Non-classical Aspects in Proof Complexity
heftet,
2012,
Engelsk,
ISBN 9783954040360