Popular repositories Loading

1. Cardinality-CDCL Cardinality-CDCL Public

   C++ 3

2. PReLearn PReLearn Public

   Preprcessor for Propagation Redundant Clause Learning

   Pascal 1

3. Multi-Heuristic-AStar Multi-Heuristic-AStar Public

   Multi-Heuristic A* Algorithms (IMHA and SMHA) for N-queens problem

   Python 1

4. BiPartGen-Artifact BiPartGen-Artifact Public

   Generates formulas for bipartite perfect matching problem under various encoding and constraint options. Artifact corresponds with implementation and experiments in the paper submission (SAT21)

   C

5. ML-voter-choice ML-voter-choice Public

   Jupyter Notebook

6. bve-evaluation-Artifact bve-evaluation-Artifact Public

   Data and Solver Configurations for POS21 Submission