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
• 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
• 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