Lynx
From MaRDI portal
Cited in
(17)- Scarab
- CPGraph
- Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT
- tawSolver
- The SAT+CAS method for combinatorial search with applications to best matrices
- Editorial: Symbolic computation and satisfiability checking
- Applying computer algebra systems with SAT solvers to the Williamson conjecture
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- MathCheck
- Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem
- SageSAT
- nsoks
- MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers
- CnC
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
- A Constraint Satisfaction Approach for Programmable Logic Detailed Placement
- A nonexistence certificate for projective planes of order ten with weight 15 codewords
This page was built for software: Lynx
