Login / Signup
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding.
Joseph Poremba
Nancy A. Day
Amirhossein Vakili
Published in:
IEEE Trans. Software Eng. (2023)
Keyphrases
</>
special case
symmetry breaking