150 citations · 619 across the 52 of their papers we have counts for
3 papers · 1 filter
QBF-Based Boolean Function Bi-Decomposition
Huan Chen, Mikolas Janota, Joao Marques-Silva
Boolean function bi-decomposition is ubiquitous in logic synthesis. It entails the decomposition of a Boolean function using two-input simple logic gates. Existing solutions for bi…
Lazy Decomposition for Distributed Decision Procedures
Youssef Hamadi, Joao Marques-Silva, Christoph M. Wintersteiger
The increasing popularity of automated tools for software and hardware verification puts ever increasing demands on the underlying decision procedures. This paper presents a framew…
On Validating Boolean Optimizers
Antonio Morgado, Joao Marques-Silva
Boolean optimization finds a wide range of application domains, that motivated a number of different organizations of Boolean optimizers since the mid 90s. Some of the most success…