JOURNAL ARTICLE
When satisfiability solving meets symbolic computation
Curtis BrightIlias KotsireasVijay Ganesh
Year: 2022 Journal: Communications of the ACM Vol: 65 (7)Pages: 64-72 Publisher: Association for Computing Machinery
Abstract
The science of less-than-brute force.
Keywords:
Computer science Symbolic computation Computation Satisfiability Brute force Theoretical computer science Algorithm Mathematics Computer security
Metrics
8
Cited By
2.11
FWCI (Field Weighted Citation Impact)
38
Refs
0.81
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Embedded Systems Design Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
BOOK-CHAPTER
$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
Erika ÁbrahámJohn AbbottBernd BeckerAnna Maria BigattiMartin BrainBruno BuchbergerAlessandro CimattiJames H. DavenportMatthew EnglandPascal FontaineStephen ForrestAlberto GriggioDaniel KroeningWerner M. SeilerThomas Sturm
Lecture notes in computer science Year: 2016 Pages: 28-43
JOURNAL ARTICLE
SC-square: when Satisfiability Checking and Symbolic Computation join forces
Erika ÁbrahámJohn AbbottBernd BeckerAnna Maria BigattiMartin BrainAlessandro CimattiJames H. DavenportMatthew EnglandPascal FontaineStephen ForrestVijay GaneshAlberto GriggioDaniel KroeningWerner M. Seiler
Journal: EPiC series in computing Year: 2018 Vol: 51 Pages: 6-0
JOURNAL ARTICLE
Symbolic computation and satisfiability checking
James H. DavenportMatthew EnglandAlberto GriggioThomas SturmCesare Tinelli
Journal: Journal of Symbolic Computation Year: 2019 Vol: 100 Pages: 1-10
JOURNAL ARTICLE
Satisfiability checking and symbolic computation
E. ÁbrahámJ. AbbottB. BeckerA. M. BigattiM. BrainB. BuchbergerA. CimattiJ. H. DavenportM. EnglandP. FontaineS. ForrestA. GriggioD. KroeningW. M. SeilerT. Sturm
Journal: ACM communications in computer algebra Year: 2017 Vol: 50 (4)Pages: 145-147