kazimierz-256/Graph-colouring

Stars
2
Language
C#
License
Other
Created about 5 years ago
Updated almost 5 years ago

kazimierz-256/Graph-colouring

kazimierz-256

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Exact graph colouring algorithms. Variants: classical and acyclic. All rights reserved.

EventCalculusWebApp

An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.

Graduate-Thesis

Attributed-graph-distance

Iterative approximation of Graph Edit Distance by using the A* algorithm with a custom heuristic. All rights reserved.

Evolutionary-algorithms-for-CEC2017-problems

A few global optimizers. All rights reserved.

GPGPU-binary-automaton-synchronizing-algorithms

Alea GPU C# and multi-threaded C# algorithms for synchronizing streams of binary automata with up to 12 vertices. All rights reserved.

Tilt

A multiplayer p2p game. All rights reserved.

Cerny-conjecture

A distributed system for verifying the long-standing Černý conjecture. All rights reserved.

Maximum-common-unlabelled-subgraph-algorithm

An exact algorithm for finding the maximum common induced subgraph of two unlabelled graphs. Two derivative approximating algorithms are also implemented. All rights reserved.

Binary-automaton-visualization

A breathtaking binary automaton visualization. A perfected passion project engineered in 2018 that was ultimately used as part of my undergraduate thesis in 2019. All rights reserved.