Bibliographic Details
Title: |
When Satisfiability Solving Meets Symbolic Computation. |
Authors: |
BRIGHT, CURTIS1, KOTSIREAS, ILIAS2, GANESH, VIJAY3 |
Superior Title: |
Communications of the ACM. Jul2022, Vol. 65 Issue 7, p64-72. 9p. 2 Color Photographs, 4 Diagrams, 3 Charts. |
Subject Terms: |
*COMPUTER algorithms, *COMPUTER science, *ARTIFICIAL intelligence, COMPUTATIONAL intelligence, ALGEBRA software |
Abstract: |
The article discusses hybrid computation systems involving satisfiability (SAT) solving and computer algebra systems (CAS) that combine mathematical algorithms and efficient search and learning processes. |
Database: |
Business Source Premier |