The SAT+CAS method for combinatorial search with applications to best matrices
Crossref DOI link: https://doi.org/10.1007/s10472-019-09681-3
Published Online: 2019-12-05
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bright, Curtis http://orcid.org/0000-0002-0462-625X
Đoković, Dragomir Ž.
Kotsireas, Ilias
Ganesh, Vijay
Text and Data Mining valid from 2019-12-01
Version of Record valid from 2019-12-01
Article History
First Online: 5 December 2019