Login / Signup

Multiple Decision Making in Conflict-Driven Clause Learning.

Muhammad OsamaAnton Wijs
Published in: ICTAI (2020)
Keyphrases
  • decision making
  • decision makers
  • orders of magnitude
  • information retrieval
  • sat solvers
  • conflict resolution
  • natural language
  • evolutionary algorithm
  • special case
  • clause learning