output
20042009
most citedOn the stability of limit cycles for planar differential systems

27 citations

researchers with a paper here
collaborating institutions
Showing 2009 · cs.AIShow all

1 paper · 2 filters

cs.AI2009★ 11 cited

Algorithms for Weighted Boolean Optimization

Vasco Manquinho, Joao Marques-Silva, Jordi Planes

The Pseudo-Boolean Optimization (PBO) and Maximum Satisfiability (MaxSAT) problems are natural optimization extensions of Boolean Satisfiability (SAT). In the recent past, differen…