num_pages: 496
description: Satisfiabil Prob &amp; Bool Tdm10h Satisfiabil Prob &amp; Bool Tdm10h
language: English
title: The Satisfiability Problem & Boolean Functions
titlecomplete: The Satisfiability Problem & Boolean Functions (Topics in Discrete Mathematics)
publisher: Elsevier