metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler Group of Computer Architecture, University of Bremen, Germany - Satisfiability modulo theories - Document - PDFSEARCH.IO

First Page	Meta Content
	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler Group of Computer Architecture, University of Bremen, Germany Add to Reading List Document Date: 2014-02-05 05:31:31 Open Document File Size: 666,73 KB Share Result on Facebook Facility University of Bremen / / IndustryTerm formal algorithms / / Organization University of Bremen / / Person Daniel Große / Stefan Frehse / / ProgrammingLanguage C++ / php / / Technology C++ No algorithm / / URL http / SocialTag Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Valuation Integer factorization Theoretical computer science Applied mathematics Formal methods

metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler Group of Computer Architecture, University of Bremen, GermanyAdd to Reading List