The complete classification for quantified equality constraints

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Dmitriy Zhuk, Barnaby Martin, Michal Wrona

Journal title: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)

Journal number: 1

Journal publisher: Society for Industrial and Applied Mathematics

Published year: 2023

Published pages: 2746-2760

DOI identifier: 10.1137/1.9781611977554.ch103

ISBN: 978-1-61197-755-4