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-2232 |
eISSN: | 1932-2240 |
DOI-Link der Erstveröffentlichung: |
