Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-642-29952-0_23 ◽

2012 ◽

pp. 202-213 ◽

Author(s):

Bruno Escoffier ◽

Vangelis Th. Paschos ◽

Emeric Tourniaire

Keyword(s):

Parameterized Algorithms ◽

Download Full-text

Approximating MAX SAT by moderately exponential and parameterized algorithms

Theoretical Computer Science ◽

10.1016/j.tcs.2014.10.039 ◽

2014 ◽

Vol 560 ◽

pp. 147-157 ◽

Author(s):

Bruno Escoffier ◽

Vangelis Th. Paschos ◽

Emeric Tourniaire

Keyword(s):

Parameterized Algorithms ◽

Download Full-text

Parameterized Algorithms for Total p-Dominating Set

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2013.01868 ◽

2014 ◽

Vol 36 (9) ◽

pp. 1868-1879

Author(s):

Wei-Zhong LUO ◽

Qi-Long FENG ◽

Jian-Xin WANG ◽

Jian-Er CHEN

Keyword(s):

Dominating Set ◽

Parameterized Algorithms ◽

Download Full-text

Covering Small Independent Sets and Separators with Applications to Parameterized Algorithms

ACM Transactions on Algorithms ◽

10.1145/3379698 ◽

2020 ◽

Vol 16 (3) ◽

pp. 1-31

Author(s):

Daniel Lokshtanov ◽

Fahad Panolan ◽

Saket Saurabh ◽

Roohani Sharma ◽

Meirav Zehavi

Keyword(s):

Independent Sets ◽

Parameterized Algorithms

Download Full-text

Parameterized Algorithms for Generalizations of Directed Feedback Vertex Set

Lecture Notes in Computer Science - Algorithms and Complexity ◽

10.1007/978-3-030-17402-6_21 ◽

2019 ◽

pp. 249-261

Author(s):

Alexander Göke ◽

Dániel Marx ◽

Matthias Mnich

Keyword(s):

Parameterized Algorithms ◽

Feedback Vertex Set ◽

Directed Feedback Vertex Set

Download Full-text

DNA based algorithms for solving both MAX-SAT and MAX-W-SAT problems

2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA) ◽

10.1109/bicta.2010.5645331 ◽

2010 ◽

Author(s):

Souhila Sadeg ◽

Habiba Drias ◽

Hafid Aid ◽

Samir Mazouz

Keyword(s):

Download Full-text

Model-based diagnosis with default information implemented through MAX-SAT technology

2012 IEEE 13th International Conference on Information Reuse & Integration (IRI) ◽

10.1109/iri.2012.6302987 ◽

2012 ◽

Author(s):

Dominique D'Almeida ◽

Eric Gregoire

Keyword(s):

Model Based ◽

Download Full-text

Faster Parameterized Algorithms Using Linear Programming

ACM Transactions on Algorithms ◽

10.1145/2566616 ◽

2014 ◽

Vol 11 (2) ◽

pp. 1-31 ◽

Author(s):

Daniel Lokshtanov ◽

N. S. Narayanaswamy ◽

Venkatesh Raman ◽

M. S. Ramanujan ◽

Saket Saurabh

Keyword(s):

Linear Programming ◽

Parameterized Algorithms

Download Full-text

Efficient Parameterized Algorithms for Biopolymer Structure-Sequence Alignment

IEEE/ACM Transactions on Computational Biology and Bioinformatics ◽

10.1109/tcbb.2006.52 ◽

2006 ◽

Vol 3 (4) ◽

pp. 423-432 ◽

Author(s):

Yinglei Song ◽

Chunmei Liu ◽

Xiuzhen Huang ◽

Russell Malmberg ◽

Ying Xu ◽

...

Keyword(s):

Sequence Alignment ◽

Parameterized Algorithms ◽

Biopolymer Structure

Download Full-text

Improved exact algorithms for mildly sparse instances of Max SAT

Theoretical Computer Science ◽

10.1016/j.tcs.2017.07.011 ◽

2017 ◽

Vol 697 ◽

pp. 58-68

Author(s):

Takayuki Sakai ◽

Kazuhisa Seto ◽

Suguru Tamaki ◽

Junichi Teruyama

Keyword(s):

Exact Algorithms ◽

Download Full-text

Parameterized Algorithms for Partial Vertex Covers in Bipartite Graphs

Lecture Notes in Computer Science - Combinatorial Algorithms ◽

10.1007/978-3-030-48966-3_30 ◽

2020 ◽

pp. 395-408

Author(s):

Vahan Mkrtchyan ◽

Garik Petrosyan ◽

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Bipartite Graphs ◽

Parameterized Algorithms

Download Full-text