Illner

Pinned Repositories

BellaCompiler
A knowledge compiler for wDNNF and (s)d-DNNF circuits.
00
BellaExperimentalResults-AAAI24
A Compiler for Weak Decomposable Negation Normal Form (AAAI-24) - Experimental Results
00
BellaModifiedD4-AAAI24
A Compiler for Weak Decomposable Negation Normal Form (AAAI-24) - Modified d4
Language:C++00
flat_hash_map
A very fast hashtable
Language:C++00
GraphColoring
Language:C#00
Hmetis_c
Language:CMake00
kahypar
KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of very high quality.
Language:C++00
Kahypar_c
Language:C++00
LoanCalculatorTrask
Language:TypeScript00
PaToH
Language:Python00

Illner's Repositories

Illner/BellaModifiedD4-AAAI24
A Compiler for Weak Decomposable Negation Normal Form (AAAI-24) - Modified d4
Language:C++
Illner/BellaExperimentalResults-AAAI24
A Compiler for Weak Decomposable Negation Normal Form (AAAI-24) - Experimental Results
Illner/BellaCompiler
A knowledge compiler for wDNNF and (s)d-DNNF circuits.
Illner/Kahypar_c
Language:C++
Illner/kahypar
KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of very high quality.
Language:C++
Illner/Hmetis_c
Language:CMake
Illner/Patoh_c
Language:C
Illner/pysat
PySAT extension
Language:Python
Illner/PaToH
Language:Python
Illner/SATSolver
SAT Solver
Language:Python
Illner/GraphColoring
Language:C#
Illner/flat_hash_map
A very fast hashtable
Illner/LoanCalculatorTrask
Language:TypeScript