![Algebraic logic / Fuzzy logic / Logic in computer science / Algebraic structures / Electronic design automation / Satisfiability Modulo Theories / MV-algebra / Boolean satisfiability problem / Propositional variable / Mathematics / Mathematical logic / Logic Algebraic logic / Fuzzy logic / Logic in computer science / Algebraic structures / Electronic design automation / Satisfiability Modulo Theories / MV-algebra / Boolean satisfiability problem / Propositional variable / Mathematics / Mathematical logic / Logic](https://www.pdfsearch.io/img/5e73ca4f806c730d710dc86612993fd9.jpg) Date: 2013-09-06 00:51:19Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics Mathematical logic Logic | | Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt UniversityAdd to Reading ListSource URL: math.chapman.eduDownload Document from Source Website File Size: 209,61 KBShare Document on Facebook
|