<--- Back to Details
First PageDocument Content
Mathematics / Numerical software / Theoretical computer science / Convex optimization / Linear programming / Solver / Karush–Kuhn–Tucker conditions / MEMO Model / Operations research / Mathematical optimization / Applied mathematics
Date: 2014-09-02 04:00:18
Mathematics
Numerical software
Theoretical computer science
Convex optimization
Linear programming
Solver
Karush–Kuhn–Tucker conditions
MEMO Model
Operations research
Mathematical optimization
Applied mathematics

Add to Reading List

Source URL: www.gams.com

Download Document from Source Website

File Size: 73,90 KB

Share Document on Facebook

Similar Documents

Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering

DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

DocID: 1xW38 - View Document

Mathematical logic / Type theory / Computability theory / Lambda calculus / Theoretical computer science / Model theory / Higher-order logic / Constructible universe / Mathematics

Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber

DocID: 1xVzf - View Document

Proof assistants / Theoretical computer science / Logic in computer science / Mathematical logic / Isabelle / Logic for Computable Functions / Mathematics / Resolution / Constructible universe / Theorem prover / LCF / Formal methods

Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber

DocID: 1xVu1 - View Document

Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Satisfiability modulo theories / Boolean satisfiability problem / Solver / Maximum satisfiability problem

The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? †

DocID: 1xVrM - View Document

Software engineering / Computing / Computer programming / Cross-platform software / High-level programming languages / Abstract interpretation / Computer science / Symbolic execution / D / Pure / Concolic testing

Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution

DocID: 1xV4A - View Document