Blocked Clauses in First-Order Logic

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: Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere

Journal title: Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)

Journal number: EasyChair EPiC Series in Computing 46

Journal publisher: EasyChair

Published year: 2017

Published pages: 31-48