A Verified Program for the Enumeration of All Maximal Independent Sets

A Verified Program for the Enumeration of All Maximal Independent Sets

Bibliographic Details
Main Author:	Merten, Samuel A.
Language:	English
Published:	Ohio University / OhioLINK 2016
Subjects:	Computer Science software verification proof assistants graph theory independent sets
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1479829000576398

Similar Items

On the Sizes of Maximal Independent Sets of Cylindrical Grid Graphs
by: R.M. BARBOSA, et al.

Cumulative hierarchies and computability over universes of sets
by: Domenico Cantone, et al.
Published: (2008-05-01)

Counting Maximal Distance-Independent Sets in Grid Graphs
by: Euler Reinhardt, et al.
Published: (2013-07-01)

Efficient, mechanically-verified validation of satisfiability solvers
by: Wetzler, Nathan David
Published: (2015)

On the independent set interdiction problem
by: Gholam Hassan Shirdel, et al.
Published: (2015-10-01)

Independent set dominating sets in bipartite graphs
by: Bohdan Zelinka
Published: (2005-01-01)

Using aetnanova to formally prove that the Davis-Putnam satisfiability test is correct
by: Eugenio G. Omodeo, et al.
Published: (2008-05-01)

Environnement d'assistance au développement de transformations de graphes correctes
by: Makhlouf, Amani
Published: (2019)

On the number of maximum independent sets of graphs
by: Tajedin Derikvand, et al.
Published: (2014-03-01)

Produtos de grafos Zm-bem-cobertos
by: R.M. Barbosa, et al.

A Formal System of Axiomatic Set Theory in Coq
by: Tianyu Sun, et al.
Published: (2020-01-01)

Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
by: Tesson, Julien
Published: (2011)

An unconstrained binary quadratic programming for the maximum independent set problem
by: Sidi Mohamed Douiri, et al.
Published: (2012-10-01)

Independent sets in bounded degree graphs
by: Heckman, Christopher Carl
Published: (2009)

A Generalized Information-Theoretic Approach for Bounding the Number of Independent Sets in Bipartite Graphs
by: Igal Sason
Published: (2021-02-01)

Proposing a reliable method of securing and verifying the credentials of graduates through blockchain
by: T. Rama Reddy, et al.
Published: (2021-06-01)

Distributed minimum vertex coloring and maximum independent set in chordal graphs
by: Konrad, C., et al.
Published: (2022)

Solving Robust Variants of the Maximum Weighted Independent Set Problem on Trees
by: Ana Klobučar, et al.
Published: (2020-02-01)

Enumerating digitally convex sets in graphs
by: Carr, MacKenzie
Published: (2020)

SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURING
by: E. V. Burlyaeva, et al.
Published: (2017-10-01)

Extending the MAX Algorithm for Maximum Independent Set
by: Lê Ngoc C., et al.
Published: (2015-05-01)

The INDEPENDENT SET Decision Problem is NP-complete
by: Bristow, Andrew, IV
Published: (2011)

Eternal Independent Sets in Graphs
by: Yair Caro, et al.
Published: (2016-01-01)

Outer independent global dominating set of trees and unicyclic graphs
by: Doost Ali Mojdeh, et al.
Published: (2019-04-01)

Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps
by: Muhsin H. Atto
Published: (2021-03-01)

Certified Compilation and Worst-Case Execution Time Estimation
by: Maroneze, André Oliveira
Published: (2014)

Independent Sets and Eigenspaces
by: Newman, Michael William
Published: (2006)

Independent Sets and Eigenspaces
by: Newman, Michael William
Published: (2006)

Temporal interval cliques and independent sets
by: Hermelin, D., et al.
Published: (2023)

Extension paramétrée de compilateur certifié pour la programmation parallèle
by: Dailler, Sylvain
Published: (2015)

Automated Training System "Proof of Statements for the Set"
by: Vadim Rublev, et al.
Published: (2019-12-01)

Evaluation of program specification and verification systems
by: Ubhayakar, Sonali S.
Published: (2012)

Open-independent, open-locating-dominating sets
by: Suk J. Seo, et al.
Published: (2017-10-01)

Heuristic Algorithm for Graph Coloring Based On Maximum Independent Set
by: Hilal ALMARA’BEH, et al.
Published: (2012-01-01)

Verifiable Public Key Encryption With Keyword Search Based on Homomorphic Encryption in Multi-User Setting
by: D. N. Wu, et al.
Published: (2018-01-01)

Working Towards the Verified Software Process
by: Adcock, Bruce M.
Published: (2010)

A Formal Verification Framework for Security Issues of Blockchain Smart Contracts
by: Tianyu Sun, et al.
Published: (2020-02-01)

A self-verifying theorem prover
by: Davis, Jared Curran
Published: (2010)

Concurrent verification for sequential programs
by: Wickerson, John Peter
Published: (2013)

Coloration, ensemble indépendant et structure de graphe
by: Pastor, Lucas
Published: (2017)