Keyword: constraints

• Graphs: Satisfiability of inequality constraints and detection of cycles with negative weight in graphs
  Jean Goubault