Algorithms for the Satisfiability (SAT) Problem

Autor: Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah
Rok vydání: 1999
Zdroj: Handbook of Combinatorial Optimization ISBN: 9781441948137
Databáze: OpenAIRE