Coudert O
DAC
New Ideas for Solving Covering Problems.
Approximating Maximum Independent Sets by Excluding Subgraphs.
Two-level logic minimization: an overview.
Karma: um ambiente para o aprendizado de síntese de funções Booleanas