Login / Signup
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Sylvain Conchon
Evelyne Contejean
Mohamed Iguernelala
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
efficient implementation
case study
implementation issues
architectural design
design process
computer aided
circuit design
neural network
data model
design principles
engineering design
design decisions
design methodology
current status
hardware design
intelligent design