Document Search Results

Newest Citations Relevance

Fiedor, Tomáš; Holík, Lukáš; Hruška, Martin; Rogalewicz, Adam; Síč, Juraj; Vargovčík, Pavol

Reasoning about regular properties: a comparative study. (English) Zbl 07838493

Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 286-306 (2023).

MSC: 03B35 68V15

Cite Review PDF

Full Text: DOI arXiv

Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak; Naso, Chiara

Interpolation results for arrays with length and maxdiff. (English) Zbl 07760989

ACM Trans. Comput. Log. 24, No. 4, Article No. 28, 33 p. (2023).

MSC: 03B70 68-XX

Cite Review PDF

Full Text: DOI

Eremondi, Joseph

Set constraints, pattern match analysis, and SMT. (English) Zbl 1503.68044

Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 121-141 (2020).

MSC: 68N30 03B70 68N18 68R07

Cite Review PDF

Full Text: DOI arXiv

Rollini, Simone Fulvio; Bruttomesso, Roberto; Sharygina, Natasha; Tsitovich, Aliaksei

Resolution proof transformation for compression and interpolation. (English) Zbl 1317.68123

Form. Methods Syst. Des. 45, No. 1, 1-41 (2014).

MSC: 68Q60 03C40 03F20 68T15

Cite Review PDF

Full Text: DOI arXiv

Found 4 Documents (Results 1–4)

Reasoning about regular properties: a comparative study. (English) Zbl 07838493

Interpolation results for arrays with length and maxdiff. (English) Zbl 07760989

Set constraints, pattern match analysis, and SMT. (English) Zbl 1503.68044

Resolution proof transformation for compression and interpolation. (English) Zbl 1317.68123

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software