Information Processing Letters · 2005 · 57 citations · 2 references
EngineeringComputer ScienceSet TheoryBoolean AlgebraBoolean Network ModelsBoolean OperationsCircuit ComplexityDigital Logic DesignLogic SynthesisBoolean Circuit DesignBoolean LatticesBoolean Rings
2
The complexity of satisfiability problems
Thomas J. Schaefer · 1978 · 1.8K citations · Full text
Proceedings of the 44th symposium on Theory of Computing
Howard Karloff, Toniann Pitassi · 2012 · 130 citations