Some rainbow problems in graphs have complexity equivalent to satisfiability problems

Generalized Satisfiability Problems via Operator Assignments

Fundamentals of Computation Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55751-8_6 ◽

2017 ◽

pp. 56-68 ◽

Cited By ~ 1

Author(s):

Albert Atserias ◽

Phokion G. Kolaitis ◽

Simone Severini

Keyword(s):

Satisfiability Problems

Download Full-text

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

XRDS Crossroads The ACM Magazine for Students ◽

10.1145/3368085 ◽

2019 ◽

Vol 26 (2) ◽

pp. 68-71

Author(s):

Diogo Fernandes ◽

Carla Silva ◽

Inês Dutra

Keyword(s):

Quantum Algorithm ◽

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

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

Physical Review E ◽

10.1103/physreve.67.066104 ◽

2003 ◽

Vol 67 (6) ◽

Cited By ~ 35

Author(s):

Wolfgang Barthel ◽

Alexander K. Hartmann ◽

Martin Weigt

Keyword(s):

Local Search ◽

Search Algorithms ◽

Stochastic Local Search ◽

Local Search Algorithms ◽

Satisfiability Problems

Download Full-text

A hybrid artificial bee colony algorithm for satisfiability problems based on tabu search

2017 3rd IEEE International Conference on Computer and Communications (ICCC) ◽

10.1109/compcomm.2017.8322931 ◽

2017 ◽

Author(s):

Ying Guo ◽

Changsheng Zhang

Keyword(s):

Tabu Search ◽

Artificial Bee Colony Algorithm ◽

Artificial Bee Colony ◽

Satisfiability Problems ◽

Bee Colony

Download Full-text

Solving hard satisfiability problems: a unified algorithm based on discrete Lagrange multipliers

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809788 ◽

2003 ◽

Author(s):

Zhe Wu ◽

B.W. Wah

Keyword(s):

Lagrange Multipliers ◽

Satisfiability Problems ◽

Unified Algorithm

Download Full-text

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

Fundamenta Informaticae ◽

10.3233/fi-2013-800 ◽

2013 ◽

Vol 123 (1) ◽

pp. 59-76 ◽

Cited By ~ 9

Author(s):

Robert Ganian ◽

Petr Hliněný ◽

Jan Obdržálek

Keyword(s):

Satisfiability Problems ◽

Bounded Rank

Download Full-text

Probabilistic Greedy Heuristics for Satisfiability Problems

Handbook of Approximation Algorithms and Metaheuristics - Chapman & Hall/CRC Computer & Information Science Series ◽

10.1201/9781420010749.ch49 ◽

2007 ◽

pp. 49-1-49-9

Author(s):

Ramesh Krishnamurti ◽

Rajeev Kohli

Keyword(s):

Greedy Heuristics ◽

Satisfiability Problems

Download Full-text

On the Performance of Congestion Games for Optimum Satisfiability Problems

Lecture Notes in Computer Science - Internet and Network Economics ◽

10.1007/978-3-540-77105-0_22 ◽

2007 ◽

pp. 220-231 ◽

Cited By ~ 1

Author(s):

Aristotelis Giannakos ◽

Laurent Gourvès ◽

Jérôme Monnot ◽

Vangelis Th. Paschos

Keyword(s):

Congestion Games ◽

Satisfiability Problems

Download Full-text

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

RAIRO - Theoretical Informatics and Applications ◽

10.1051/ita/2016022 ◽

2016 ◽

Vol 50 (3) ◽

pp. 227-240 ◽

Cited By ~ 6

Author(s):

Édouard Bonnet ◽

Vangelis Th. Paschos ◽

Florian Sikora

Keyword(s):

Approximation Algorithms ◽

Set Cover ◽

Satisfiability Problems

Download Full-text

Reducing bitvector satisfiability problems to scale down design sizes for RTL property checking

Sixth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2001.972818 ◽

2002 ◽

Cited By ~ 5

Author(s):

P. Johannsen

Keyword(s):

Satisfiability Problems ◽

Scale Down

Download Full-text