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