scholarly journals Some rainbow problems in graphs have complexity equivalent to satisfiability problems

2020 ◽  
Author(s):  
Olivier Hudry ◽  
Antoine Lobstein
Keyword(s):  
Satisfiability Problems

scholarly journals Generalized Satisfiability Problems via Operator Assignments

2017 ◽  
pp. 56-68 ◽  
Author(s):  
Albert Atserias ◽  
Phokion G. Kolaitis ◽  
Simone Severini
Keyword(s):  
Satisfiability Problems

Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

2019 ◽  
Vol 26 (2) ◽  
pp. 68-71
Author(s):  
Diogo Fernandes ◽  
Carla Silva ◽  
Inês Dutra
Keyword(s):  
Quantum Algorithm ◽  
Boolean Satisfiability ◽  
Satisfiability Problems

scholarly journals Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms

2003 ◽  
Vol 67 (6) ◽  
Author(s):  
Wolfgang Barthel ◽  
Alexander K. Hartmann ◽  
Martin Weigt
Keyword(s):  
Local Search ◽  
Search Algorithms ◽  
Stochastic Local Search ◽  
Local Search Algorithms ◽  
Satisfiability Problems

scholarly journals Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width

2013 ◽  
Vol 123 (1) ◽  
pp. 59-76 ◽  
Author(s):  
Robert Ganian ◽  
Petr Hliněný ◽  
Jan Obdržálek
Keyword(s):  
Satisfiability Problems ◽  
Bounded Rank

scholarly journals On the Performance of Congestion Games for Optimum Satisfiability Problems

2007 ◽  
pp. 220-231 ◽  
Author(s):  
Aristotelis Giannakos ◽  
Laurent Gourvès ◽  
Jérôme Monnot ◽  
Vangelis Th. Paschos
Keyword(s):  
Congestion Games ◽  
Satisfiability Problems

scholarly journals Parameterized exact and approximation algorithms for maximumk-set cover and related satisfiability problems

2016 ◽  
Vol 50 (3) ◽  
pp. 227-240 ◽  
Author(s):  
Édouard Bonnet ◽  
Vangelis Th. Paschos ◽  
Florian Sikora
Keyword(s):  
Approximation Algorithms ◽  
Set Cover ◽  
Satisfiability Problems
Sign in / Sign up

Export Citation Format

Share Document