Logic for Programming, Artificial Intelligence, and Reasoning: 15th Internationa
146,97 €
Session 1. Constraint Solving. - Efficient Generation of Unsatisfiability Proofs and Cores in SAT. - Justification-Based Local Search with Adaptive Noise Strategies. - The Max-Atom Problem and Its Relevance.
Jetzt bei Ebay:
