Inproceedings,

A SAT-Based Algorithm for Context Matching.

, , , and .
CONTEXT, volume 2680 of Lecture Notes in Computer Science, page 66-79. Springer, (2003)

Meta data

Tags

Users

  • @schmitz
  • @dblp
  • @thau

Comments and Reviews