BibTeX

@inProceedings{claessen-rosen-2015-modulo-230822,
	title        = {SAT modulo intuitionistic implications},
	abstract     = {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.},
	booktitle    = {Lecture Notes in Computer Science. Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)},
	author       = {Claessen, Koen and Rosén, Dan},
	year         = {2015},
	volume       = {9450},
	ISBN         = {978-3-662-48898-0},
	pages        = {622--637},
}