certifying algorithms
Recently Published Documents

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unified View of Graph Searching and LDFS-Based Certifying Algorithms

Encyclopedia of Algorithms ◽

10.1007/978-1-4939-2864-4_685 ◽

2016 ◽

pp. 2291-2297

Author(s):

Derek G. Corneil ◽

Michel Habib

Keyword(s):

Graph Searching ◽

Unified View ◽

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

Optimal certifying algorithms for linear and lattice point feasibility in a system of UTVPI constraints

10.33915/etd.430 ◽

2013 ◽

Author(s):

Piotr Jerzy Wojciechowski

Keyword(s):

Lattice Point ◽

Utvpi Constraints ◽

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

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

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

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

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

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

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