Satisfiability problemde Dingzhu Du, Jun Gu, Panos M. PardalosMateriasComputer algorithmsPropositional calculusCongressesComputer scienceDecision makingEdiciones (1)Satisfiability problem (1997)American Mathematical Society · inglésMás obras de Dingzhu Du