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