References in zbMATH (referenced in 40 articles , 1 standard article )

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

1 2 next

  1. Edwards, Keith; McDermid, Eric: A general reduction theorem with applications to pathwidth and the complexity of Max 2-CSP (2015)
  2. Huang, Ping; Su, Kaile: Lower and upper bounds for random mimimum satisfiability problem (2015)
  3. Sakai, Takayuki; Seto, Kazuhisa; Tamaki, Suguru: Solving sparse instances of Max SAT via width reduction and greedy restriction (2015)
  4. Golovnev, Alexander; Kutzkov, Konstantin: New exact algorithms for the 2-constraint satisfaction problem (2014)
  5. Huang, Ping; Yin, Minghao: An upper (lower) bound for Max (Min) CSP (2014)
  6. Gaspers, Serge; Sorkin, Gregory B.: A universally fastest algorithm for Max 2-sat, Max 2-CSP, and everything in between (2012)
  7. Ibaraki, Toshihide; Imamichi, Takashi; Koga, Yuichi; Nagamochi, Hiroshi; Nonobe, Koji; Yagiura, Mutsunori: Efficient branch-and-bound algorithms for weighted MAX-2-SAT (2011)
  8. Xu, Xuelin; Gao, Zongsheng; Xu, Ke: A tighter upper bound for random MAX $2$-SAT (2011)
  9. Binkele-Raible, Daniel; Fernau, Henning: A new upper bound for Max-2-SAT: A graph-theoretic approach (2010)
  10. Liang, Hongyu; He, Jing: Satisfiability with index dependency (2010)
  11. Aharonov, Dorit; Gottesman, Daniel; Irani, Sandy; Kempe, Julia: The power of quantum systems on a line (2009)
  12. Marx, Dániel; Razgon, Igor: Constant ratio fixed-parameter approximation of the edge multicut problem (2009)
  13. Palubeckis, Gintaras: A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem (2009)
  14. Raible, Daniel; Fernau, Henning: A new upper bound for Max-2-SAT: A graph-theoretic approach (2008)
  15. van Maaren, H.; van Norden, L.; Heule, M.J.H.: Sums of squares based approximation algorithms for MAX-SAT (2008)
  16. Kulikov, Alexander S.; Kutzkov, Konstantin: New bounds for MAX-SAT by clause learning (2007)
  17. Scott, Alexander D.; Sorkin, Gregory B.: Linear-programming design and analysis of fast algorithms for Max 2-CSP (2007)
  18. Anjos, Miguel F.: Semidefinite optimization approaches for satisfiability and maximum-satisfiability problems (2006)
  19. Gomes, Carla P.; van Hoeve, Willem-Jan; Leahu, Lucian: The power of semidefinite programming relaxations for MAX-SAT (2006)
  20. Koivisto, Mikko: Optimal 2-constraint satisfaction via sum-product algorithms (2006)

1 2 next