When Satisfiability Solving Meets Symbolic Computation.

Saved in:

Bibliographic Details
Title:	When Satisfiability Solving Meets Symbolic Computation.
Authors:	BRIGHT, CURTIS¹, KOTSIREAS, ILIAS², GANESH, VIJAY³
Source:	Communications of the ACM. Jul2022, Vol. 65 Issue 7, p64-72. 9p. 2 Color Photographs, 4 Diagrams, 3 Charts.
Subjects:	Computational intelligence, Algebra software, Algorithms, Computer science, Artificial intelligence
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:	Engineering Source

Description
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.
ISSN:	00010782
DOI:	10.1145/3500921