QMaxSAT

QMaxSAT: A Partial Max-SAT Solver. QMaxSAT is a partial MaxSAT solver based on SAT solver MiniSat. The solver is available under the MIT licence. QMaxSAT became a weighted partial MaxSAT solver in 2014.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Berg, Jeremias; Bacchus, Fahiem; Poole, Alex: Abstract cores in implicit hitting set MaxSat solving (2020)
  2. Cai, Shaowei; Lei, Zhendong: Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability (2020)
  3. Joshi, Saurabh; Kumar, Prateek; Rao, Sukrut; Martins, Ruben: \textsfOpen-WBO-Inc: approximation strategies for incomplete weighted MaxSAT (2019)
  4. Liao, Xiaojuan; Koshimura, Miyuki; Nomoto, Kazuki; Ueda, Suguru; Sakurai, Yuko; Yokoo, Makoto: Improved WPM encoding for coalition structure generation under MC-nets (2019)
  5. Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi: (N)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT (2019)
  6. Jahren, Eivind; Asín, Achá Roberto: Resizing cardinality constraints for MaxSAT (2018)
  7. Ansótegui, Carlos; Gabàs, Joel: WPM3: an (in)complete algorithm for weighted partial MaxSAT (2017)
  8. Berg, Jeremias; Järvisalo, Matti: Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (2017)
  9. Hyttinen, Antti; Plis, Sergey; Järvisalo, Matti; Eberhardt, Frederick; Danks, David: A constraint optimization approach to causal discovery from subsampled time series data (2017)
  10. Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao: On tackling the limits of resolution in SAT solving (2017)
  11. Ansótegui, Carlos; Gabàs, Joel; Levy, Jordi: Exploiting subproblem optimization in SAT-based maxsat algorithms (2016)
  12. Ansótegui, Carlos; Gabàs, Joel; Malitsky, Yuri; Sellmann, Meinolf: MaxSAT by improved instance-specific algorithm configuration (2016)
  13. Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile: New local search methods for partial MaxSAT (2016)
  14. Neves, Miguel; Martins, Ruben; Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco: Exploiting resolution-based representations for MaxSAT solving (2015)
  15. Martins, Ruben; Manquinho, Vasco; Lynce, Inês: Open-WBO: a modular MaxSAT solver (2014)
  16. Fujita, Hiroshi; Koshimura, Miyuki; Hasegawa, Ryuzo: Scsat: a soft constraint guided SAT solver (2013) ioport
  17. Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao: Iterative and core-guided maxsat solving: a survey and assessment (2013)
  18. Koshimura, Miyuki; Zhang, Tong; Fujita, Hiroshi; Hasegawa, Ryuzo: QMaxSAT: A partial Max-SAT solver (2012)
  19. Morgado, Antonio; Heras, Federico; Marques-Silva, Joao: Improvements to core-guided binary search for MaxSAT (2012)