Author:
Publication: Artificial Intelligence
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfi
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games