ML Anthology
Authors
Search
About
Ðokovic, Dragomir Z.
1 publications
AAAI
2019
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
Curtis Bright
,
Dragomir Z. Ðokovic
,
Ilias S. Kotsireas
,
Vijay Ganesh