SAT Algorithms: New Features

• Intelligent Branching Rules

• Preprocessing

• Conflict analysis techniques

  • Non-chronological Backtracking
  • Conflict Learning

• Restarts

• Algorithm Portfolio

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen