@inproceedings{d3ab14635df148f2b6ea1aafaafb035f,
title = "Solving SAT for CNF formulas with a one-sided variable occurrence restriction",
author = "Daniel Johannsen and Igor Razgon and Magnus Wahlstr{\"o}m",
year = "2009",
doi = "10.1007/978-3-642-02777-2_10",
language = "English",
volume = "5584",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "80--85",
editor = "Oliver Kullmann",
booktitle = "Theory and Applications of Satisfiability Testing, SAT 2009 : 12th International Conference, SAT 2009",
}