Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
11	To Encode or to Propagate? The Best Choice for Each Constraint in SAT Ignasi Ab´ıo1 , Robert Nieuwenhuis2 , Albert Oliveras2 , Enric Rodr´ıguez-Carbonell2 , Peter J. Stuckey3 1 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2013-07-22 05:26:24 Theoretical computer science Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Satisfiability modulo theories Boolean satisfiability problem Maximum satisfiability problem Decomposition method Constraint
12	Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Constraint programming Mathematical optimization Theoretical computer science Statistical classification Artificial intelligence Machine learning Support vector machine Constraint satisfaction problem Constraint satisfaction Decomposition method Constrained optimization Constraint
13	PDF Document Add to Reading List Source URL: www.constraint-programming.com - Date: 2010-03-10 06:11:45
14	PDF Document Add to Reading List Source URL: www.constraint.org - Date: 2015-11-01 21:29:00
15	Scenario realizability with constraint optimization Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes, Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-12-03 15:41:56
16	Informative path planning with a human path constraint Add to Reading List Source URL: faculty.cs.byu.edu Language: English - Date: 2014-12-08 19:28:20
17	The morpho-phonology of simple abbreviated loanwords in Japanese: a constraint-based account Add to Reading List Source URL: laurence.labrune.free.fr Language: English - Date: 2011-11-21 16:32:22
18	Constraint Qualification Failure in Second-Order Cone Formulations of Unbounded Disjunctions Hassan Hijazia,1 , Leo Libertib a The Australian National University, CSIRO-Data61, Canberra ACT 2601 Australia Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-05-24 06:31:25
19	Answer Sets: From Constraint Programming Towards Qualitative Optimization Gerhard Brewka Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2003-12-18 07:00:05
20	A Polynomial scheduling algorithm for IEEEZigBee cluster tree WSN with one collision domain and period crossing constraint Aasem Ahmad, Zdenˇek Hanz´alek Claire Hanen Add to Reading List Source URL: rtime.felk.cvut.cz Language: English - Date: 2015-11-27 06:42:24

UPDATE