| Publication | Date of Publication | Type |
|---|
Bounding the number of roots of multi-homogeneous systems
| 2025-01-17 | Paper |
Quaternary Legendre pairs
| 2024-10-02 | Paper |
New weighing matrices via partitioned group actions
Discrete Mathematics | 2024-03-27 | Paper |
Parallel algorithm portfolios with adaptive resource allocation strategy
Journal of Global Optimization | 2024-03-22 | Paper |
Legendre pairs of lengths \(\ell \equiv 0 \pmod 5\)
Special Matrices | 2024-02-14 | Paper |
Balanced covering arrays: A classification of covering arrays and packing arrays via exact methods
Journal of Combinatorial Designs | 2024-02-05 | Paper |
Correction to: ``Preface: selected revised papers from the LION 15 conference
Annals of Mathematics and Artificial Intelligence | 2024-01-08 | Paper |
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences
Journal of Symbolic Computation | 2023-08-10 | Paper |
Autocorrelation via Runs
Artificial Intelligence and Symbolic Computation | 2023-06-30 | Paper |
Quaternary Legendre Pairs
| 2022-12-21 | Paper |
Personal recollections of Prof. Vladimir P. Gerdt
Mathematics in Computer Science | 2022-12-14 | Paper |
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
Lecture Notes in Computer Science | 2022-10-13 | Paper |
Book review of: R. Martí (ed.) et al., Handbook of heuristics
SN Operations Research Forum | 2022-08-25 | Paper |
Hard satisfiable 3-SAT instances via autocorrelation
Journal on Satisfiability, Boolean Modeling and Computation | 2021-12-09 | Paper |
A Legendre pair of length 77 using complementary binary matrices with fixed marginals
Designs, Codes and Cryptography | 2021-06-23 | Paper |
Algorithm Portfolios
SpringerBriefs in Optimization | 2021-02-18 | Paper |
Legendre pairs of lengths $\ell \equiv 0$ (mod $3$)
| 2021-01-08 | Paper |
A SAT-based Resolution of Lam's Problem
| 2020-12-08 | Paper |
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences
IEEE Transactions on Information Theory | 2020-12-04 | Paper |
Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT
Journal of Symbolic Computation | 2020-09-19 | Paper |
Formal orthogonal pairs via monomial representations and cohomology
Séminaire Lotharingien de Combinatoire | 2020-09-14 | Paper |
Enumeration of complex Golay pairs via programmatic SAT
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Matrix representations by means of interpolation
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
A nonexistence certificate for projective planes of order ten with weight 15 codewords
Applicable Algebra in Engineering, Communication and Computing | 2020-07-15 | Paper |
Root-finding with implicit deflation
| 2020-04-29 | Paper |
Algebraic models for arbitrary strength covering arrays over \(v\)-ary alphabets
| 2020-04-29 | Paper |
PAF reconstruction with the orbits method
| 2020-04-29 | Paper |
Applying computer algebra systems with SAT solvers to the Williamson conjecture
Journal of Symbolic Computation | 2020-03-24 | Paper |
Computational methods for difference families in finite abelian groups
Special Matrices | 2020-02-26 | Paper |
The SAT+CAS method for combinatorial search with applications to best matrices
Annals of Mathematics and Artificial Intelligence | 2020-02-11 | Paper |
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques
Annals of Mathematics and Artificial Intelligence | 2020-02-11 | Paper |
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
| 2020-01-31 | Paper |
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics
| 2019-07-09 | Paper |
Yukawa potential orbital energy: its relation to orbital mean motion as well to the graviton mediating the interaction in celestial bodies
Advances in Mathematical Physics | 2019-06-26 | Paper |
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
| 2018-11-12 | Paper |
Goethals-Seidel difference families with symmetric or skew base blocks
Mathematics in Computer Science | 2018-11-01 | Paper |
Evaluation of tie-breaking and parameter ordering for the IPO family of algorithms used in covering array generation
| 2018-09-06 | Paper |
A feasibility approach for constructing combinatorial designs of circulant type
Journal of Combinatorial Optimization | 2018-05-24 | Paper |
Constructing orthogonal designs in powers of two: Gröbner bases meet equational unification
| 2017-07-12 | Paper |
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
Journal of Automated Reasoning | 2017-06-29 | Paper |
D-optimal matrices via quadratic integer optimization
Journal of Heuristics | 2017-06-27 | Paper |
Towards factoring bivariate approximate polynomials
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
A class of cyclic \((v; k_{1}, k_{2}, k_{3}; \lambda)\) difference families with \(v \equiv 3\, (\text{mod}\, 4)\) a prime
Special Matrices | 2016-10-11 | Paper |
Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics
Optimization Letters | 2016-09-21 | Paper |
D-optimal matrices of orders 118, 138, 150, 154 and 174
Springer Proceedings in Mathematics & Statistics | 2016-01-25 | Paper |
Periodic Golay pairs of length 72
Springer Proceedings in Mathematics & Statistics | 2016-01-25 | Paper |
Inner product vectors for skew-Hadamard matrices
Springer Proceedings in Mathematics & Statistics | 2016-01-25 | Paper |
Symmetric Hadamard matrices of order 116 and 172 exist
Special Matrices | 2015-11-11 | Paper |
Some new periodic Golay pairs
Numerical Algorithms | 2015-07-28 | Paper |
Charm bracelets and their application to the construction of periodic Golay pairs
Discrete Applied Mathematics | 2015-05-22 | Paper |
Compression of periodic complementary sequences and applications
Designs, Codes and Cryptography | 2015-02-19 | Paper |
Some new orders of Hadamard and skew-Hadamard matrices
Journal of Combinatorial Designs | 2014-06-23 | Paper |
There is no circulant weighing matrix of order 60 and weight 36
| 2014-06-05 | Paper |
Structured Hadamard conjecture
Springer Proceedings in Mathematics & Statistics | 2013-07-23 | Paper |
scientific article; zbMATH DE number 6159476 (Why is no real title available?)
| 2013-04-30 | Paper |
scientific article; zbMATH DE number 6154260 (Why is no real title available?)
| 2013-04-15 | Paper |
Competent genetic algorithms for weighing matrices
Journal of Combinatorial Optimization | 2013-01-03 | Paper |
New weighing matrices constructed from two circulant submatrices
Optimization Letters | 2012-11-30 | Paper |
New results on D-optimal matrices
Journal of Combinatorial Designs | 2012-08-30 | Paper |
A modified power spectral density test applied to weighing matrices with small weight
Journal of Combinatorial Optimization | 2012-04-04 | Paper |
Weighing matrices and string sorting
Annals of Combinatorics | 2012-01-24 | Paper |
A meta-software system for orthogonal designs and Hadamard matrices
| 2011-12-08 | Paper |
On circulant and two-circulant weighing matrices
| 2011-05-31 | Paper |
Inequivalent Hadamard matrices from near normal sequences
| 2011-05-31 | Paper |
Periodic complementary binary sequences and combinatorial optimization algorithms
Journal of Combinatorial Optimization | 2010-11-12 | Paper |
New weighing matrices of order \(2n\) and weight \(2n-9\)
| 2010-06-17 | Paper |
New weighing matrices of order \(2n\) and weight \(2n-5\)
| 2010-06-17 | Paper |
scientific article; zbMATH DE number 5717185 (Why is no real title available?)
| 2010-06-07 | Paper |
MDS and near-MDS self-dual codes over large prime fields
Advances in Mathematics of Communications | 2010-03-08 | Paper |
An efficient string sorting algorithm for weighing matrices of small weight
Optimization Letters | 2010-01-29 | Paper |
Using symmetries in the eigenvalue method for polynomial systems
Journal of Symbolic Computation | 2009-10-09 | Paper |
scientific article; zbMATH DE number 5556283 (Why is no real title available?)
| 2009-05-22 | Paper |
scientific article; zbMATH DE number 5543458 (Why is no real title available?)
| 2009-04-14 | Paper |
Hadamard matrices of Williamson type: A challenge for computer algebra
Journal of Symbolic Computation | 2009-03-25 | Paper |
Periodic complementary binary sequences of length 50
| 2009-02-26 | Paper |
Heuristic algorithms for Hadamard matrices with two circulant cores
Theoretical Computer Science | 2008-11-18 | Paper |
New skew-Hadamard matrices via computational algebra
| 2008-08-12 | Paper |
scientific article; zbMATH DE number 5247089 (Why is no real title available?)
| 2008-03-11 | Paper |
Hadamard ideals and Hadamard matrices from two circulant submatrices
| 2008-02-22 | Paper |
Orthogonal designs of order 32 and 64 via computational algebra
| 2008-02-22 | Paper |
Inequivalent Hadamard matrices of order \(2n\) constructed from Hadamard matrices of order \(n\)
| 2008-02-07 | Paper |
Large orthogonal designs via amicable sets of matrices
| 2008-01-28 | Paper |
scientific article; zbMATH DE number 5175625 (Why is no real title available?)
| 2007-07-30 | Paper |
scientific article; zbMATH DE number 5145359 (Why is no real title available?)
| 2007-04-23 | Paper |
scientific article; zbMATH DE number 5127186 (Why is no real title available?)
| 2007-02-15 | Paper |
A computational algebraic approach for saturated \(D\)-optimal designs with \(n\equiv 2\pmod 4\) observations
| 2007-02-08 | Paper |
Orthogonal designs via computational algebra
Journal of Combinatorial Designs | 2006-09-12 | Paper |
Genetic algorithms for orthogonal designs
| 2006-08-03 | Paper |
Metasoftware for Hadamard matrices
| 2006-07-14 | Paper |
Hadamard ideals and Hadamard matrices with two circulant cores
European Journal of Combinatorics | 2006-05-16 | Paper |
scientific article; zbMATH DE number 2247472 (Why is no real title available?)
| 2006-01-16 | Paper |
Genetic algorithms for the construction of Hadamard matrices with two circulant cores
Journal of Discrete Mathematical Sciences and Cryptography | 2006-01-13 | Paper |
scientific article; zbMATH DE number 2187063 (Why is no real title available?)
| 2005-07-13 | Paper |
Inequivalent Hadamard matrices with buckets
Journal of Discrete Mathematical Sciences and Cryptography | 2005-04-11 | Paper |
scientific article; zbMATH DE number 2151216 (Why is no real title available?)
| 2005-04-04 | Paper |
scientific article; zbMATH DE number 2125578 (Why is no real title available?)
| 2005-01-07 | Paper |
Homotopies and polynomial system solving I
ACM SIGSAM Bulletin | 2004-09-01 | Paper |
scientific article; zbMATH DE number 2079841 (Why is no real title available?)
| 2004-07-30 | Paper |
scientific article; zbMATH DE number 2075208 (Why is no real title available?)
| 2004-06-15 | Paper |
scientific article; zbMATH DE number 2034392 (Why is no real title available?)
| 2004-01-28 | Paper |
scientific article; zbMATH DE number 1736025 (Why is no real title available?)
| 2002-09-05 | Paper |
Central configurations of the 5-body problem with equal masses in three-space
Journal of Mathematical Sciences (New York) | 2002-04-14 | Paper |
