Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations
Crossref DOI link: https://doi.org/10.1007/s10817-019-09520-4
Published Online: 2019-04-08
Published Print: 2020-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cristiá, Maximiliano
Rossi, Gianfranco
Funding for this research was provided by:
Fondo para la Investigación Científica y Tecnológica (PICT-2014-2200)
Text and Data Mining valid from 2019-04-08
Article History
Received: 19 June 2018
Accepted: 23 March 2019
First Online: 8 April 2019