Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University - Boolean satisfiability problem - Document - PDFSEARCH.IO

First Page	Meta Content
	Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University Add to Reading List Document Date: 2013-09-06 00:51:19 Open Document File Size: 209,61 KB Share Result on Facebook Facility GBL-algebras Peter Jipsen Chapman University / / Organization Chapman University / Vanderbilt University / / ProgrammingLanguage LISP / TACL / / SocialTag Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics

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 List