Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K. Erratum to: “Analyzing restricted fragments of the theory of linear arithmetic”. (English) Zbl 1393.68054 Ann. Math. Artif. Intell. 79, No. 4, 371-392 (2017). MSC: 68Q15 03D15 90C05 × Cite Format Result Cite Review PDF Full Text: DOI
Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K. Analyzing restricted fragments of the theory of linear arithmetic. (English) Zbl 1390.68318 Ann. Math. Artif. Intell. 79, No. 1-3, 245-266 (2017); erratum ibid. 79, No. 4, 371-392 (2017). MSC: 68Q15 03D15 90C05 × Cite Format Result Cite Review PDF Full Text: DOI
Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr On quantified linear implications. (English) Zbl 1319.68102 Ann. Math. Artif. Intell. 71, No. 4, 301-325 (2014). MSC: 68Q17 03D15 90C05 × Cite Format Result Cite Review PDF Full Text: DOI
Ruggieri, Salvatore; Eirinakis, Pavlos; Subramani, K.; Wojciechowski, Piotr On the complexity of quantified linear systems. (English) Zbl 1358.03051 Theor. Comput. Sci. 518, 128-134 (2014). MSC: 03D15 68Q15 68Q25 90C05 × Cite Format Result Cite Review PDF Full Text: DOI
Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr A complexity perspective on entailment of parameterized linear constraints. (English) Zbl 1309.90107 Constraints 17, No. 4, 461-487 (2012). MSC: 90C31 90C05 90C60 × Cite Format Result Cite Review PDF Full Text: DOI