Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
101	Constraint Programming for LNG Ship Scheduling and Inventory Management V. Goela , M. Sluskyb , W.-J. van Hoevec , K. C. Furmand , Y. Shaoa a ExxonMobil Upstream Research Company Add to Reading List Source URL: www.optimization-online.org - Date: 2014-01-22 17:30:19
102	S. Demri, R. Lazi´ c and D. Nowak On the freeze quantifier in constraint LTL: decidability and complexity Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2005-09-29 04:27:56
103	Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 and Maurizio Proietti3 1 Add to Reading List Source URL: www.iasi.cnr.it - Date: 2013-07-17 08:16:13
104	Scalable Parallel Numerical Constraint Solver using Global Load Balancing June 14 @X10’15 Daisuke Ishii Kazuki Yoshizoe Add to Reading List Source URL: x10.sourceforge.net - Date: 2015-06-14 16:55:11
105	Reasoning on Data-Aware Business Processes with Constraint Logic Maurizio Proietti and Fabrizio Smith National Research Council, IASI ”Antonio Ruberti” - Via dei Taurini 19, 00185 Roma, Italy {maurizio.proietti, fabr Add to Reading List Source URL: ceur-ws.org - Date: 2014-11-12 06:08:42
106	Journal on Satisfiability, Boolean Modeling and Computation–236 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure∗ Martin Fr¨ anzle Add to Reading List Source URL: jsat.ewi.tudelft.nl - Date: 2007-05-22 16:56:57
107	Probabilistic Constraint Logic Theories Marco Alberti1 , Elena Bellodi2 , Giuseppe Cota2 , Evelina Lamma2 , Fabrizio Riguzzi1 , and Riccardo Zese2 1 Dipartimento di Matematica e Informatica – University of Ferrara Add to Reading List Source URL: ceur-ws.org - Date: 2016-08-12 03:27:47
108	An extension procedure for the constraint equations Stefan Czimek Paris 6 Add to Reading List Source URL: philippelefloch.files.wordpress.com - Date: 2016-10-18 21:59:00
109	Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Optimality of sum-of-squares In this lecture, we show that sum-of-squares achieves the best possible approximation guarantees for every constraint sati Add to Reading List Source URL: sumofsquares.org - Date: 2016-11-30 18:56:07
110	T   D  L  P Analysing Constraint Grammar with SAT I L Add to Reading List Source URL: listenmaa.fi - Date: 2016-05-04 03:54:07

UPDATE