Embedding the Connection Calculus in Satisfiability Modulo Theories

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: Clemens Eisenhofer, Laura Kovacs and Michael Rawson

Journal title: Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023)

Journal number: 3613

Journal publisher: CEUR

Published year: 2023

Published pages: 54-63

DOI identifier: 10.34726/5394