The Complexity of Pure Literal Elimination

SAT 2005 ◽  
2007 ◽  
pp. 89-95
Author(s):  
Jan Johannsen
Sign in / Sign up

Export Citation Format

Share Document