Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning