Journal article

Satisfiability Checking and Symbolic Computation





Publication Details
Authors:
Seiler, W.
Publication year:
2016
Journal:
ACM Communications in Computer Algebra
Pages range:
145-147
Volume number:
50
ISSN:
1932-2240



Authors/Editors

Last updated on 2019-01-11 at 16:04