| | Overview |
|---|
The SAT Research Group is dedicated to research in algorithms, software and tools for constraint solving, namely Propositional Satisfiability (SAT) and Optimization, and their applications in computer science and engineering.
| | For additional information regarding the activity of the SAT Research Group, follow the navigation links. Currently, the most relevant information is still mostly available in the researchers personal web pages. |
|
|
|
|
