A SAT+CAS Method for Enumerating Williamson Matrices of Even Order.
Curtis BrightIlias S. KotsireasVijay GaneshPublished in: AAAI (2018)
Keyphrases
- experimental evaluation
- cost function
- evolutionary algorithm
- high accuracy
- neural network
- computational complexity
- preprocessing
- dynamic programming
- computational cost
- probabilistic model
- input data
- detection method
- pairwise comparison
- covariance matrices
- combinatorial optimization
- synthetic data
- clustering method
- similarity measure