Login / Signup
Dragomir Z. Ðokovic
Publication Activity (10 Years)
Years Active: 1997-2019
Publications (10 Years): 1
Top Topics
Key Concepts
Matrix Representation
Sat Solvers
Top Venues
AAAI
</>
Publications
</>
Curtis Bright
,
Dragomir Z. Ðokovic
,
Ilias S. Kotsireas
,
Vijay Ganesh
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples.
AAAI
(2019)
Dragomir Z. Ðokovic
Some new D-optimal designs.
Australas. J Comb.
15 (1997)