Lynx

swMATH13643MaRDI QIDQ25557FDOQ25557

Author name not available (Why is that?)

Cited In (10)

• Editorial: Symbolic computation and satisfiability checking
• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
• 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
• 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
• 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