DMCA

Rewrite-based Deduction and Symbolic Constraints (1997)

Cached

Download Links

by Robert Nieuwenhuis
Venue:In Proceedings of the 16th International Conference on Automated Deduction, volume 1632 of LNAI
Citations:5 - 2 self