corail-research/learning-generic-csp

Issues

• Question about the graph coloring implementation - gc_specific

  #39 opened 3 months ago
  1

• More Data

  #38 opened 4 months ago
  5

• Add features to wandb

  #22 opened 9 months ago
  0

• Add meta node type

  #21 opened 2 years ago
  0

• Implement basic graph reduction

  #20 opened 2 years ago
  0

• Add and automate SAT insatnce generator

  #19 opened 2 years ago
  0

• Re-write SAT parser

  #18 opened 2 years ago
  0

• Problems to explore

  #17 opened 9 months ago
  0

• Parser for DIMACS CNF format

  #16 opened 2 years ago
  0

• Effect of edge features

  #15 opened 9 months ago
  0

• Effect of redundant constraints

  #14 opened 9 months ago
  0

• Element constraint

  #13 opened 9 months ago
  0

• Intension constraints

  #12 opened 9 months ago
  0

• Define terminology

  #11 opened 9 months ago
  0

• Add support for constraints with args

  #10 opened 9 months ago
  0

• How could we "condense extension constraints

  #9 opened 9 months ago
  0

• Extension constraint (without graph refactoring)

  #8 opened 2 years ago
  0

• allDifferent with functions

  #7 opened 9 months ago
  0

• Tests to perform

  #6 opened 9 months ago
  0

• Investigate possibility of using BitSets for Table constraints

  #5 opened 9 months ago
  0

• Graph refactoring

  #4 opened 9 months ago
  0

• Build instance test set

  #3 opened 9 months ago
  0

• Build problem representation

  #2 opened 2 years ago
  0

• Generate XML files from problems

  #1 opened 2 years ago
  0