Pinned Repositories
problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
ACircuitMiner
An Arithmetic Circuit Miner
BU-MiF
The code used to conduct the experiments for the UAI2020 paper: "Ordering Variables for Weighted Model Integration".
dsharp
ICTAI2024-PruningTseitinCircuits
Tseitin aware knowledge compilation algorithm
Paper-AC-Decisions-Learning
The code used for the paper: Algebraic Circuits for Decision Theoretic Inference and Learning
Paper-SymGANAK-benchmark
The problem instances (CNF) used to evaluate SymGANAK, a model counter introduced in AAAI2021 that exploits symmetry
PySDD
Python package for Sentential Decision Diagrams (SDD)
sharpsat-td
Forked version of original sharpSAT-TD
PySDD
Python package for Sentential Decision Diagrams (SDD)
VincentDerk's Repositories
VincentDerk/ACircuitMiner
An Arithmetic Circuit Miner
VincentDerk/BU-MiF
The code used to conduct the experiments for the UAI2020 paper: "Ordering Variables for Weighted Model Integration".
VincentDerk/dsharp
VincentDerk/Paper-AC-Decisions-Learning
The code used for the paper: Algebraic Circuits for Decision Theoretic Inference and Learning
VincentDerk/Paper-SymGANAK-benchmark
The problem instances (CNF) used to evaluate SymGANAK, a model counter introduced in AAAI2021 that exploits symmetry
VincentDerk/PySDD
Python package for Sentential Decision Diagrams (SDD)
VincentDerk/sharpsat-td
Forked version of original sharpSAT-TD
VincentDerk/vincentderk.github.io
A template for members of the DTAI research group for their personal pages, based on the Jekyll al-folio template
VincentDerk/z3
The Z3 Theorem Prover