Theory and Applications of Satisfiability Testing: 7th International Conference,
68,59 €
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables. - Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables. - A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.
Jetzt bei Ebay:
