swMATH13642MaRDI QIDQ25556FDOQ25556
Author name not available (Why is that?)
Official website: https://uwaterloo.ca/mathcheck/
Cited In (19)
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Investigating the existence of orthogonal golf designs via satisfiability testing
- Investigating the existence of Costas Latin squares via satisfiability testing
- New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences
- CPGraph
- tawSolver
- Hadamard
- Lynx
- SageSAT
- nsoks
- CnC
- FourierSAT
- A nonexistence certificate for projective planes of order ten with weight 15 codewords
- The SAT+CAS method for combinatorial search with applications to best matrices
- Matchings extend to Hamiltonian cycles in 5-cube
- Applying computer algebra systems with SAT solvers to the Williamson conjecture
- Enumeration of complex Golay pairs via programmatic SAT
- Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT
This page was built for software: MathCheck
