VincentDerk

Vincent's repositories

An Arithmetic Circuit Miner

Language:JavaGPL-3.02 10

The code used to conduct the experiments for the UAI2020 paper: "Ordering Variables for Weighted Model Integration".

Language:PythonNOASSERTION1 10

Language:C++MIT000

The code used for the paper: Algebraic Circuits for Decision Theoretic Inference and Learning

Language:PrologApache-2.0020

The problem instances (CNF) used to evaluate SymGANAK, a model counter introduced in AAAI2021 that exploits symmetry

Language:Prolog010

Python package for Sentential Decision Diagrams (SDD)

Language:CNOASSERTION010

Forked version of original sharpSAT-TD

Language:C++NOASSERTION000

A template for members of the DTAI research group for their personal pages, based on the Jekyll al-folio template

Language:SCSSMIT000

The Z3 Theorem Prover

Language:C++NOASSERTION000