Solving SAT for CNF formulas with a one-sided variable occurrence restriction. / Johannsen, Daniel; Razgon, Igor; Wahlström, Magnus.

Theory and Applications of Satisfiability Testing, SAT 2009 : 12th International Conference, SAT 2009. ed. / Oliver Kullmann. Vol. 5584 Swansea, Wales, United Kingdom : Springer, 2009. p. 80-85 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationTheory and Applications of Satisfiability Testing, SAT 2009 : 12th International Conference, SAT 2009
EditorsOliver Kullmann
Place of PublicationSwansea, Wales, United Kingdom
PublisherSpringer
Pages80-85
Number of pages6
Volume5584
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 16831030