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 |
Externí odkaz: |
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 |
Externí odkaz: |