To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

SAT modulo intuitionistic… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

SAT modulo intuitionistic implications

Conference paper
Authors Koen Claessen
Dan Rosén
Published in Lecture Notes in Computer Science. Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
Volume 9450
Pages 622-637
ISBN 978-3-662-48898-0
ISSN 0302-9743
Publication year 2015
Published at
Pages 622-637
Language en
Subject categories Software Engineering


We present a new method for solving problems in intuitionistic propositional logic, which involves the use of an incremental SAT-solver. The method scales to very large problems, and fits well into an SMT-based framework for interaction with other theories.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?