swMATH13643MaRDI QIDQ25557FDOQ25557
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-31612-8_12
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
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
- Scarab
- CPGraph
- tawSolver
- MathCheck
- SageSAT
- nsoks
- CnC
- 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
- A Constraint Satisfaction Approach for Programmable Logic Detailed Placement
- Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT
This page was built for software: Lynx
