Back to Search Start Over

Solving Satisfiability of Ground Term Algebras Using DPLL and Unification

Authors :
Badban, Bahareh
Pol, Jaco
Tveretina, O.
Zantema, Hans
Specification and Analysis of Embedded Systems
Publication Year :
2004

Subjects

Subjects :
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Computer Science::Logic in Computer Science
Computer Science::Programming Languages

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.narcis........77d67a402d92215a598cda2ae2fee4c2

Tools

Authors Abstract Subjects Details