================================================================================ wbo is an unsatisfiability-based algorithm for MaxSAT, pseudo-Boolean and WBO The latest version of wbo can be downloaded at: http://sat.inesc-id.pt/wbo/ ================================================================================ References: [1] R. Martins, V. Manquinho, I. Lynce: Community-based Partitioning for MaxSAT Solving. SAT 2013 [2] R. Martins, V. Manquinho, I. Lynce: On Partitioning for Maximum Satisfiability. ECAI 2012: 913-914 [3] R. Martins, V. Manquinho, I. Lynce: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. ICTAI 2011: 313-320 [4] V. Manquinho, R. Martins, I. Lynce: Improving Unsatisfiability-Based Algorithms for Boolean Optimization. SAT 2010: 181-193 [5] V. Manquinho, J. Marques-Silva, J. Planes: Algorithms for Weighted Boolean Optimization. SAT 2009: 495-508 ================================================================================ Contributors: Vasco Manquinho, Ruben Martins, Inês Lynce, João Marques-Silva, Jordi Planes To contact the authors please send an email to wbo@sat.inesc-id.pt ================================================================================