TU Wien - Database and Artificial Intelligence Group (@TU-Wien-DBAI)
Guthub

TU-Wien-DBAI

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Org. Rank 170,099 (Top 55 %)
  • Registered almost 7 years ago
  • Most used languages
    C++
         100.0 %
  • Location 🇦🇹 Austria
  • Country Total Rank 3,802
  • Country Ranking
    C++
         388

Top repositories

1

htd

A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
C++
3
star
2

dynqbf

An expansion-based QBF solver for instances of low-to-medium treewidth.
C++
3
star
3

sharp

Source code of the sharp library (libsharp) for dynamic programming on hypertree decompositions: http://dbai.tuwien.ac.at/proj/sharp/
C++
1
star
4

qbf2asp

Source code of qbf2asp, a tool that rewrites Quantified Boolean Formulas (QBF) to Answer Set Programming (ASP) programs.
C++
1
star