Weakly Equivalent Arrays J¨ urgen Christ and Jochen Hoenicke∗ arXiv:1405.6939v1 [cs.LO] 27 May 2014

First Page		Document Content
Date: 2014-05-27 20:45:29 Arrays Array data type Array data structure Equivalence relation C Uninterpreted function Weak equivalence Bit array Satisfiability Modulo Theories Computing Software engineering Computer programming		Weakly Equivalent Arrays J¨ urgen Christ and Jochen Hoenicke∗ arXiv:1405.6939v1 [cs.LO] 27 May 2014 Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 189,06 KB Share Document on Facebook

	Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA) DocID: 1xVTO - View Document
	10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France DocID: 1xVRN - View Document
	13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany DocID: 1xVxR - View Document
	Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo DocID: 1xVwT - View Document
	11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016): Rules and Procedures Sylvain Conchon Paris-Sud University France DocID: 1xVsn - View Document