7 citations · 25 across the 6 of their papers we have counts for
6 papers
Some new symmetric Hadamard matrices
Dragomir Ž. Đoković
First examples of symmetric Hadamard matrices of orders 508 and 764 are constructed. The method used is known as the propus construction. A conjecture regarding this method is form…
Three new lengths for cyclic Legendre pairs
N. A. Balonin, D. Ž. Đoković
There are 20 odd integers v less than 200 for which the existence of Legendre pairs of length v is undecided. The smallest among them is v=77. We have constructed Legendre pairs of…
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices
Curtis Bright, Dragomir Ž. Đoković, Ilias Kotsireas +1
In this paper, we provide an overview of the SAT+CAS method that combines satisfiability checkers (SAT solvers) and computer algebra systems (CAS) to resolve combinatorial conjectu…
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
Curtis Bright, Dragomir Z. Djokovic, Ilias Kotsireas +1
We enumerate all circulant good matrices with odd orders divisible by 3 up to order 70. As a consequence of this we find a previously overlooked set of good matrices of order 27 an…
Charm bracelets and their application to the construction of periodic Golay pairs
Dragomir Z Djokovic, Ilias Kotsireas, Daniel Recoskie +1
A -ary charm bracelet is an equivalence class of length strings with the action on the indices by the additive group of the ring of integers modulo extended by the group…
Periodic complementary sets of binary sequences
Dragomir Z. Djokovic
Let PCS_p^N denote a set of p binary sequences of length N such that the sum of their periodic auto-correlation functions is a delta-function. In the 1990, Boemer and Antweiler add…