$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation

Erika Ábrahám; John Abbott; Bernd Becker; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England; Pascal Fontaine; Stephen Forrest; Alberto Griggio; Daniel Kroening; Werner M. Seiler; Thomas Sturm

doi:10.1007/978-3-319-42547-4_3

BOOK-CHAPTER

$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation

Erika Ábrahám John Abbott Bernd Becker Anna Maria Bigatti Martin Brain Bruno Buchberger Alessandro Cimatti James H. Davenport Matthew England Pascal Fontaine Stephen Forrest Alberto Griggio Daniel Kroening Werner M. Seiler Thomas Sturm

Year: 2016 Lecture notes in computer science Pages: 28-43 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-319-42547-4_3

Get Full-Text PDF Get Analytical Report

Keywords:

Satisfiability Computer science Computation Focus (optics) Theoretical computer science Symbolic computation Discrete mathematics Algebra over a field Algorithm Mathematics Pure mathematics Physics

Metrics

Cited By

13.13

FWCI (Field Weighted Citation Impact)

Refs

0.99

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

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Polynomial and algebraic computation

Physical Sciences → Computer Science → Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

SC-square: when Satisfiability Checking and Symbolic Computation join forces

Erika Ábrahám John Abbott Bernd Becker Anna Maria Bigatti Martin Brain Alessandro Cimatti James H. Davenport Matthew England Pascal Fontaine Stephen Forrest Vijay Ganesh Alberto Griggio Daniel Kroening Werner M. Seiler

Journal: EPiC series in computing Year: 2018 Vol: 51 Pages: 6-0

JOURNAL ARTICLE

Symbolic computation and satisfiability checking

James H. Davenport Matthew England Alberto Griggio Thomas Sturm Cesare Tinelli

Journal: Journal of Symbolic Computation Year: 2019 Vol: 100 Pages: 1-10

JOURNAL ARTICLE

Satisfiability checking and symbolic computation

E. Ábrahám J. Abbott B. Becker A. M. Bigatti M. Brain B. Buchberger A. Cimatti J. H. Davenport M. England P. Fontaine S. Forrest A. Griggio D. Kroening W. M. Seiler T. Sturm

Journal: ACM communications in computer algebra Year: 2017 Vol: 50 (4)Pages: 145-147

JOURNAL ARTICLE

Symbolic Computation Techniques in Satisfiability Checking

Erika Ábrahám

Year: 2016 Vol: 8 Pages: 3-10

JOURNAL ARTICLE

When satisfiability solving meets symbolic computation

Curtis Bright Ilias Kotsireas Vijay Ganesh

Journal: Communications of the ACM Year: 2022 Vol: 65 (7)Pages: 64-72