Inproceedings,

On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.

, , , and .
FroCoS, volume 3717 of Lecture Notes in Computer Science, page 65-80. Springer, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews