Lynx
From MaRDI portal
Cited in
(17)- Editorial: Symbolic computation and satisfiability checking
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem
- Scarab
- CPGraph
- tawSolver
- MathCheck
- SageSAT
- nsoks
- CnC
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
- 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
- Applying computer algebra systems with SAT solvers to the Williamson conjecture
- MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers
- Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT
- A Constraint Satisfaction Approach for Programmable Logic Detailed Placement
This page was built for software: Lynx
