1 citations · 3 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2013★ 1 cited
SAT-based Preprocessing for MaxSAT (extended version)
Anton Belov, Antonio Morgado, Joao Marques-Silva
State-of-the-art algorithms for industrial instances of MaxSAT problem rely on iterative calls to a SAT solver. Preprocessing is crucial for the acceleration of SAT solving, and th…
cs.AI2011
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…