Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
751	Executing Specifications using Synthesis and Constraint Solving Viktor Kuncak?1 , Etienne Kneuss1 , and Philippe Suter1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:01:49 Computer programming Constraint satisfaction problem Satisfiability Modulo Theories Constraint satisfaction Constraint logic programming Constraint programming Theoretical computer science Software engineering
752	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
753	Introduction Score-based methods Bayesian analysis Constraint-based methods Summary and challenges Things I did not even get near Add to Reading List Source URL: www.stats.ox.ac.uk Language: English - Date: 2012-07-14 12:07:29 Statistical theory Statistical methods Regression analysis Bayesian inference Estimation theory Software development effort estimation Statistics Statistical inference Econometrics
754	Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-12-03 07:53:01 Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics
755	Billions and Billions of Constraints: Whitebox Fuzz Testing in Production Ella Bounimova Patrice Godefroid Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-15 15:23:34 Theoretical computer science Constraint programming Fuzz testing Symbolic execution KeY Sage Constraint optimization Concolic testing Software testing Mathematical software Software engineering
756	Constraints as Control Ali Sinan K¨oksal Viktor Kuncak Philippe Suter ∗ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-14 09:20:17 Software engineering Constraint logic programming Constraint satisfaction problem Satisfiability Modulo Theories Backtracking Prolog Constraint Lambda calculus Constraint satisfaction Constraint programming Declarative programming Theoretical computer science
757	ARTICLE IN PRESS Journal of Monetary Economics–528 www.elsevier.com/locate/jme Money as stock$ Add to Reading List Source URL: faculty.chicagobooth.edu Language: English - Date: 2006-12-21 16:38:45 Money Business cycle Monetary policy Demand for money Quantity theory of money Budget constraint Money supply Economics Macroeconomics Monetary economics
758	Improved bounds for bounded occurrence constraint satisfaction Johan H˚ astad Royal Institute of Technology May 19, 2015 Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2015-05-19 08:51:07 Expected value Polynomial Fourier analysis Operator theory Ordinary differential equations Spectral theory Probability theory Heat equation Dirac delta function Mathematical analysis Mathematics Constructible universe
759	Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Type theory Data types Functional programming Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 Scala Type inference Computing Software engineering Computer programming
760	IDEOLOGY AS CONSTRAINT Add to Reading List Source URL: www.yale.edu Language: English - Date: 2002-05-27 20:17:26 Philosophy of law Critical theory Social theories Political philosophy Critical legal studies Roberto Mangabeira Unger Critical race theory Gary Peller Jurisprudence Sociology Social philosophy Philosophy

UPDATE