Applications to Reasoning in Contradictory and Probabilistic Context

Applications in Electronic Design Automation (EDA)

There are applications of MAX-SAT, a special case of MAX-CSP, in EDA. For new algorithms see:
Algorithms for Maximum Satisfiability using Unsatisfiable Cores by
Joao Marques-Silva and Jordi Planes.

Applications to Games

There are interesting applications to games,
such as the
Specker Derivative Game (SDG).
There is an interesting question about how combinatorial
optimization problems can be categorized to make
an interesting SDG game. The categories correspond to the types used
in the derivatives of SDG.