An Introduction to Certifying Algorithms

Eyad Alkassar; Sascha Böhme; Kurt Mehlhorn; Christine Rizkallah; Pascal Schweitzer

doi:10.1524/itit.2011.0655

An Introduction to Certifying Algorithms

it - Information Technology ◽

10.1524/itit.2011.0655 ◽

2011 ◽

Vol 53 (6) ◽

pp. 287-293

Author(s):

Eyad Alkassar ◽

Sascha Böhme ◽

Kurt Mehlhorn ◽

Christine Rizkallah ◽

Pascal Schweitzer

Keyword(s):

Certifying Algorithms

Download Full-text

Unified View of Graph Searching and LDFS-Based Certifying Algorithms

Encyclopedia of Algorithms ◽

10.1007/978-3-642-27848-8_685-1 ◽

2014 ◽

pp. 1-8

Author(s):

Derek G.Corneil ◽

Michel Habib

Keyword(s):

Graph Searching ◽

Unified View ◽

Certifying Algorithms

Download Full-text

Certifying Algorithms for Recognizing Proper Circular-Arc Graphs and Unit Circular-Arc Graphs

Graph-Theoretic Concepts in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11917496_26 ◽

2006 ◽

pp. 289-300 ◽

Cited By ~ 5

Author(s):

Haim Kaplan ◽

Yahav Nussbaum

Keyword(s):

Circular Arc ◽

Certifying Algorithms ◽

Circular Arc Graphs ◽

Proper Circular Arc Graphs

Download Full-text

Linear-time certifying algorithms for near-graphical sequences

Discrete Mathematics ◽

10.1016/j.disc.2008.05.005 ◽

2009 ◽

Vol 309 (18) ◽

pp. 5703-5713 ◽

Cited By ~ 3

Author(s):

Pavol Hell ◽

David Kirkpatrick

Keyword(s):

Linear Time ◽

Certifying Algorithms

Download Full-text

Polynomial time certifying algorithms for the planar quantified integer programming problem

Journal of Logic and Computation ◽

10.1093/logcom/exs034 ◽

2012 ◽

Vol 23 (5) ◽

pp. 1017-1033

Author(s):

Z. Liang ◽

K. Subramani ◽

J. Worthington

Keyword(s):

Integer Programming ◽

Programming Problem ◽

Polynomial Time ◽

Integer Programming Problem ◽

Certifying Algorithms

Download Full-text

Progress on Certifying Algorithms

Frontiers in Algorithmics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14553-7_1 ◽

2010 ◽

pp. 1-5 ◽

Cited By ~ 2

Author(s):

Kurt Mehlhorn ◽

Pascal Schweitzer

Keyword(s):

Certifying Algorithms

Download Full-text

Linear-time certifying algorithms for the path cover and Hamiltonian cycle problems on interval graphs

Applied Mathematics Letters ◽

10.1016/j.aml.2010.11.030 ◽

2011 ◽

Vol 24 (5) ◽

pp. 648-652 ◽

Cited By ~ 11

Author(s):

Ruo-Wei Hung ◽

Maw-Shang Chang

Keyword(s):

Hamiltonian Cycle ◽

Linear Time ◽

Interval Graphs ◽

Path Cover ◽

Certifying Algorithms

Download Full-text

Certifying Algorithms for the Path Cover and Related Problems on Interval Graphs

Computational Science and Its Applications – ICCSA 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12165-4_25 ◽

2010 ◽

pp. 314-323

Author(s):

Ruo-Wei Hung ◽

Maw-Shang Chang

Keyword(s):

Interval Graphs ◽

Path Cover ◽

Certifying Algorithms

Download Full-text

Certifying Algorithms for Recognizing Interval Graphs and Permutation Graphs

SIAM Journal on Computing ◽

10.1137/s0097539703437855 ◽

2006 ◽

Vol 36 (2) ◽

pp. 326-353 ◽

Cited By ~ 38

Author(s):

Dieter Kratsch ◽

Ross M. McConnell ◽

Kurt Mehlhorn ◽

Jeremy P. Spinrad

Keyword(s):

Interval Graphs ◽

Permutation Graphs ◽

Certifying Algorithms

Download Full-text

Certifying algorithms for recognizing proper circular-arc graphs and unit circular-arc graphs

Discrete Applied Mathematics ◽

10.1016/j.dam.2009.07.002 ◽

2009 ◽

Vol 157 (15) ◽

pp. 3216-3230 ◽

Cited By ~ 10

Author(s):

Haim Kaplan ◽

Yahav Nussbaum

Keyword(s):

Circular Arc ◽

Certifying Algorithms ◽

Circular Arc Graphs ◽

Proper Circular Arc Graphs

Download Full-text

Certifying algorithms

Computer Science Review ◽

10.1016/j.cosrev.2010.09.009 ◽

2011 ◽

Vol 5 (2) ◽

pp. 119-161 ◽

Cited By ~ 69

Author(s):

R.M. McConnell ◽

K. Mehlhorn ◽

S. Näher ◽

P. Schweitzer

Keyword(s):

Certifying Algorithms

Download Full-text