Some Progress in Satisfiability Checking for Difference Logic

This publication has 19 references indexed in Scilit:

• Bounded Model Checking for Timed Systems
  Published by Springer Nature ,2002
• Deciding Separation Formulas with SAT
  Published by Springer Nature ,2002
• GRASP: a search algorithm for propositional satisfiability
  IEEE Transactions on Computers, 1999
• Deterministic job-shop scheduling: Past, present and future
  European Journal of Operational Research, 1999
• Data-structures for the verification of timed automata
  Published by Springer Nature ,1997
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• A heuristic improvement of the Bellman-Ford algorithm
  Applied Mathematics Letters, 1993
• Compact normal forms in propositional logic and integer programming formulations
  Computers & Operations Research, 1990
• Depth-First Search and Linear Graph Algorithms
  SIAM Journal on Computing, 1972
• On the Complexity of Derivation in Propositional Calculus
  Published by Springer Nature ,1970