SW Algorithms and Tools for Constraint Solving

The SW Algorithms and Tools for Constraint Solving (SAT) group is part of INESC-ID (Instituto de Engenharia de Sistemas e Computadores: I&D), a research institution associated with the Instituto Superior Tecnico.

The long term objectives of the research group are: integer linear programming algorithms; discrete optimization algorithms and their applications; propositional satisfiability algorithms; applications of discrete optimization in electronic design automation; and formal verification of digital systems and digital system testing. With applications to the verification of software, hardware and biological systems.

• Pedro T. Monteiro