Events by date

Title: SAT Solving with Computer Algebra for Combinatorics

Speaker: Curtis Bright Affiliation: University of Windsor and Carleton University Location: MC 5501 or please contact Emma Watson for Zoom link

Abstract:

This talk will describe a method of solving combinatorial problems by coupling Boolean satisfiability (SAT) solvers with computer algebra systems (CASs), thereby combining the search and learning power of SAT solvers with the expressiveness and mathematical sophistication of CASs.