Vincent's repositories
ACircuitMiner
An Arithmetic Circuit Miner
Language:C++MIT000
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
sharpsat-td
Forked version of original sharpSAT-TD
Language:C++NOASSERTION000
vincentderk.github.io
A template for members of the DTAI research group for their personal pages, based on the Jekyll al-folio template
Language:SCSSMIT000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000