Searching for Optimization through Satisfiability: Satisfiability Approaches in Maximum Satisfiability and AI Planning

Optimization

von Zhao Xing

Taschenbuch

ISBN: 978-3-8383-0327-7

ISBN-10: 3-8383-0327-X

LAP LAMBERT Academic Publishing · 2010