Negative premises (potentially) and positive conclusion ... No negative conclusions (fact) C1 ... Use when only one direction is desired from a certain point on ...
move queen so it conflicts with fewer queens. Local Search - Exchange Heuristics ... Ant Colony Optimization: pheromones - good for networks, dynamic optimization ...
Basis for most CAD, model checking. Words: View each word as arbitrary value ... Historic method for most CAD, testing, and verification tools. E.g., model checkers ...