Pinned Loading

1. phd-thesis phd-thesis Public

   PhD thesis in Computer Science at Rice University

   C++ 1

2. ms-thesis ms-thesis Public

   MS thesis in Computer Science at Rice University

   C 1

3. vardigroup/DPMC vardigroup/DPMC Public

   DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting

   C++ 4 3

4. vardigroup/ADDMC vardigroup/ADDMC Public

   An exact weighted model counter based on algebraic decision diagrams

   C++ 10 2

5. LED LED Public

   Forked from iensen/LEDParser

   Literate-programming system for LED (Language of Effective Definitions)

   Slash 1

6. iensen/LtoASPtranslator iensen/LtoASPtranslator Public

   This is a translator from the language L to Answer Set Prolog (ASP)

   TeX 4