First Page | Document Content | |
---|---|---|
![]() Date: 2013-08-11 21:51:59Operations research Convex optimization Linear programming Regression analysis NP-complete problems 2-satisfiability Dynamic programming Mathematics Mathematical optimization Theoretical computer science | Add to Reading List |
![]() | A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft ResearchDocID: 1xVCc - View Document |
![]() | SMT Workshop’07 5th International Workshop on Satisfiability Modulo Theories (Previously called PDPAR: Pragmatics of Decision Procedures in Automated Reasoning) Affiliated with CAV’07 Berlin, Germany, 1-2 July 2007DocID: 1xTbI - View Document |
![]() | Gap Amplification Fails Below 1/2 Andrej Bogdanov June 1, 2005 Abstract The gap amplification lemma of Dinur (ECCC TR05-46) states that the satisfiability gapDocID: 1upyZ - View Document |
![]() | Variant-Based Decidable Satisfiability in Initial Algebras with Predicates Ra´ ul Guti´errez1 1 DSIC, 2 UniversityDocID: 1tEer - View Document |
![]() | 2 Satisfiability Checking and Symbolic Computation (SCDocID: 1t40b - View Document |