User Activity

  • Committed [r4]
  • Committed [r3]

    Delete unused files.

  • Committed [r1]

    Initial commit.

  • Committed [95f844]

    1. Implement EV+MxD.

  • Committed [329aaf]

    1. If the forest is fully-reduced, level should be part of key for cache in saturation.

  • Committed [7d713d]

    1. Compute the distance function (EV+MDD) using saturation. Duplicate code should be cleaned in the future.

  • Committed [dc9947]

    Implement constraint saturation with EV+MDD. It is used to compute the minimum EU witness.

  • Committed [89b961]

    Create a branch to support long as edge type in EVMDD.

View All

Personal Data

Username:
cjiang1209
Joined:
2014-03-03 16:52:21

Projects

This is a list of open source software projects that Chuan Jiang is associated with:

  • Meddly Multi-terminal and Edge-valued Decision Diagram LibrarY Last Updated:
  • Nigma A CDCL SAT solver with partial backtracking Last Updated:
  • cjiang-thesis   Last Updated:

Personal Tools

MongoDB Logo MongoDB