Special Issue : Symbolic Computation and Satisfiability Checking

James Harold Davenport; Matthew England; Alberto Griggio; Thomas Sturm; Cesare Tinelli

Special Issue Journal of Symbolic Computation Year : 2020

Special Issue : Symbolic Computation and Satisfiability Checking

(1) , (2) , (3) , (4, 5, 6, 7, 8) , (9)

1
2
3
4
5
6
7
8
9

James Harold Davenport

Function : Author
PersonId : 910087

Department of Computer Science [Bath]

Matthew England

Function : Author
PersonId : 1043680

Faculty of Engineering, Environment and Computing [Coventry]

Alberto Griggio

Function : Author

Fondazione Bruno Kessler [Trento, Italy]

Thomas Sturm

Function : Author
PersonId : 739828
IdHAL : thomas-sturm
ORCID : 0000-0002-8088-340X
IdRef : 154039659

Centre National de la Recherche Scientifique

Modeling and Verification of Distributed Algorithms and Systems

Proof-oriented development of computer-based systems

Max-Planck-Institut für Informatik

Saarland University [Saarbrücken]

Cesare Tinelli

Function : Author
PersonId : 991961

University of Iowa [Iowa City]

Keywords

Satisfiability checking Community integration Symbolic computation

Domains

Symbolic Computation [cs.SC] Logic in Computer Science [cs.LO] Algebraic Geometry [math.AG]

Thomas Sturm : Connect in order to contact the contributor

https://hal.science/hal-03142461

Submitted on : Tuesday, February 16, 2021-9:18:37 AM

Last modification on : Wednesday, July 24, 2024-10:30:03 AM

Dates and versions

hal-03142461 , version 1 (16-02-2021)

Identifiers

HAL Id : hal-03142461 , version 1

Cite

James Harold Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking. Journal of Symbolic Computation, 100, 2020. ⟨hal-03142461⟩

Special Issue : Symbolic Computation and Satisfiability Checking

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share