Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations
Article in Journal of Automated Reasoning (April 2019)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Journal of Automated Reasoning (April 2019)
Article in Journal of Automated Reasoning (October 2018)
Book chapter (October 2018)