Somdeb Sarkhel

Software

  • Magician (Markov Logician)
    Controls inference complexity and scales-up to large domains by combining lifted inference with approximations and advanced solution counters (coming soon)

  • ipp-solver
    A solver for integer polynomial programming problems. In this pre-release version only multi-linear programs are considered. The problem is first converted to an Intger Linear Program(ILP) and an ILP solver (Gurobi) is used to solve it exactly.

    • Source, Binary Pre-Release Version 0.1-alpha, (Java, Requires Gurobi) [NIPS-14]