Theory and Applications of Satisfiability Testing: 6th International Conference,
68,21 €
Satisfiability and Computing van der Waerden Numbers. - An Algorithm for SAT Above the Threshold. - Watched Data Structures for QBF Solvers. - How Good Can a Resolution Based SAT-solver Be?. - Density Condensation of Boolean Formulas.
Jetzt bei Ebay:
