Author of the publication

A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples.

, , , and . AAAI, page 1435-1442. AAAI Press, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Some new D-optimal designs.. Australas. J Comb., (1997)A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples., , , and . AAAI, page 1435-1442. AAAI Press, (2019)A Unipotent Matrix: 11282 2007, 260., and . The American Mathematical Monthly, 116 (6): 549-550 (2009)Note on Periodic Complementary Sets of Binary Sequences.. Des. Codes Cryptogr., 13 (3): 251-256 (1998)The Irreducible Six-Dimensional Complex Representations of Aut(F2) That Are Nontrivial-on F2.. Experimental Mathematics, 9 (3): 457-465 (2000)The unextendible product bases of four qubits: Hasse diagrams., and . Quantum Inf. Process., 18 (5): 143 (2019)The SAT+CAS method for combinatorial search with applications to best matrices., , , and . Ann. Math. Artif. Intell., 87 (4): 321-342 (2019)Williamson matrices of order 4n for n=33, 35, 39.. Discret. Math., 115 (1-3): 267-271 (1993)On the base sequence conjecture.. Discret. Math., 310 (13-14): 1956-1964 (2010)Williamson Matrices of Orders 4.29 and 4.31.. J. Comb. Theory, Ser. A, 59 (2): 309-311 (1992)