Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

By Baader F.   Schulz K.U.  

Journal of Symbolic Computation, Vol. 21, Iss. 2, 1996-02 ,pp. : 211-243

Academic Press

Access to resources Recommend Favorite

An Instantiation Scheme for Satisfiability Modulo Theories

By Echenim Mnacho  

Journal of Automated Reasoning, Vol. 48, Iss. 3, 2012-03 ,pp. : 293-362

Springer Publishing Company

Access to resources Recommend Favorite

Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005)

By Barrett Clark   Moura Leonardo   Stump Aaron  

Journal of Automated Reasoning, Vol. 35, Iss. 4, 2005-11 ,pp. : 373-390

Springer Publishing Company

Access to resources Recommend Favorite

Fast matching in combinations of regular equational theories

By Eker S.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-20

Elsevier

Access to resources Recommend Favorite

Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques

By Liu Lengning   Truszczyński Mirosław  

Constraints, Vol. 12, Iss. 3, 2007-09 ,pp. : 345-369

Springer Publishing Company

Access to resources Recommend Favorite