Document Search Results

Newest Citations Relevance

Para-disagreement logics and their implementation through embedding in Coq and SMT. (English) Zbl 1439.03066

Carnielli, Walter (ed.) et al., Contradictions, from consistency to inconsistency. Cham: Springer. Trends Log. Stud. Log. Libr. 47, 139-158 (2018).

MSC: 03B53 03B35

Cite Review PDF

Full Text: DOI

Bansal, Kshitij; Barrett, Clark; Reynolds, Andrew; Tinelli, Cesare

Reasoning with finite sets and cardinality constraints in SMT. (English) Zbl 1403.68044

Log. Methods Comput. Sci. 14, No. 4, Paper No. 12, 31 p. (2018).

MSC: 68P05 03B70

Cite Review PDF

Full Text: DOI arXiv

Echenim, Mnacho; Peltier, Nicolas; Sellami, Yanis

A generic framework for implicate generation modulo theories. (English) Zbl 1437.68190

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 279-294 (2018).

MSC: 68V15 03B35

Cite Review PDF

Full Text: DOI arXiv

Cauderlier, Raphaël

Tactics and certificates in Meta Dedukti. (English) Zbl 1482.68266

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 142-159 (2018).

MSC: 68V15 03B70

Cite Review PDF

Full Text: DOI

Sofronie-Stokkermans, Viorica

On interpolation and symbol elimination in theory extensions. (English) Zbl 1476.03043

Log. Methods Comput. Sci. 14, No. 3, Paper No. 23, 41 p. (2018).

MSC: 03C40 03C10

Cite Review PDF

Full Text: DOI arXiv

Ge, Cunjing; Ma, Feifei; Zhang, Peng; Zhang, Jian

Computing and estimating the volume of the solution space of SMT(LA) constraints. (English) Zbl 1398.68491

Theor. Comput. Sci. 743, 110-129 (2018).

MSC: 68T20 03B70 68U05

Cite Review PDF

Full Text: DOI

Found 6 Documents (Results 1–6)

Para-disagreement logics and their implementation through embedding in Coq and SMT. (English) Zbl 1439.03066

Reasoning with finite sets and cardinality constraints in SMT. (English) Zbl 1403.68044

A generic framework for implicate generation modulo theories. (English) Zbl 1437.68190

Tactics and certificates in Meta Dedukti. (English) Zbl 1482.68266

On interpolation and symbol elimination in theory extensions. (English) Zbl 1476.03043

Computing and estimating the volume of the solution space of SMT(LA) constraints. (English) Zbl 1398.68491

Filter Results by …

Document Type

Author

Serial

Main Field

Software