Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
801	Weighted Constraint Satisfaction Problems with Min-Max Quantifiers∗ Jimmy H.M. Lee & Terrence W.K. Mak Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, N.T., Hong Kong {jlee,wk Add to Reading List Source URL: www.tmak.info Language: English - Date: 2013-10-06 08:30:44 Computing Local consistency Constraint optimization Constraint satisfaction problem Constraint satisfaction Backtracking Branch and bound Pruning Decomposition method Constraint programming Software engineering Computer programming
802	Recent Advances in Solving Combinatorial Optimization Tasks over Graphical Models Rina Dechter, In this talk I will present state of the art algorithms for solving combinatorial optimization tasks defined over graphica Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-12-29 16:16:29 Mathematics Operations research Mathematical optimization Combinatorial optimization Algorithm Search algorithm Local search Local consistency Applied mathematics Theoretical computer science Constraint programming
803	Constraint Models for the Container Pre-Marshaling Problem Andrea Rendl and Matthias Prandtstetter AIT Austrian Institute of Technology GmbH Mobility Department, Dynamic Transportation Systems Giefinggasse 2, 1210 Vienna Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:12:47 Container terminals Computing Container Object-oriented programming Sequence container Associative containers Stack Transport Abstract data types C++ Standard Library
804	The Class of Constraint Satisfaction Problems over a Knot Peter Golbus, Robert W. McGrail, Mona Merling, Kenneth Ober, Mary Sharac, and Japheth Wood The Laboratory for Algebraic and Symbolic Computation Reem-Kayden Cente Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-09-27 11:59:38 Algebra Racks and quandles Constraint satisfaction Structure Tricolorability Quasigroup Figure-eight knot Knot theory Abstract algebra Mathematics
805	CCCG 2006, Kingston, Ontario, August 14–16, 2006 Another Paradigm for Geometric Constraints Solving Dominique Michelucci Sebti Foufou∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-27 22:59:31 Constraint programming Decomposition method Vector space Matrix Triangulation Degrees of freedom Algebra Mathematics Mechanics
806	A Soft Constraint-based Approach to the Cascade Vulnerability Problem Stefano Bistarelli Istituto di Informatica e Telematica, CNR, Pisa, Italy Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2006-08-23 05:01:39 Network flow Computer network security Crime prevention Electronic commerce National security Flow network Vulnerability Multilevel security Constraint satisfaction Computer security Security Cyberwarfare
807	Job shop scheduling with setup times and maximal time-lags: A simple constraint programming approach Diarmuid Grimes1 and Emmanuel Hebrard1,2 1 Cork Constraint Computation Centre & University College Cork, Ireland Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Theoretical computer science Job shop scheduling Constraint programming Sequence-dependent setup Mathematical optimization Travelling salesman problem Operations research Applied mathematics Mathematics
808	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference
809	Experiments with a Hybrid ACO+CP for Balancing Bicycle Sharing Systems Luca Di Gaspero∗ Andrea Rendl† Add to Reading List Source URL: satt.diegm.uniud.it Language: English - Date: 2013-09-20 05:21:11 Theoretical computer science Local consistency FO Ant colony optimization algorithms Variable Constraint programming Mathematics Software engineering
810	The Parameterized Complexity of Global Constraints∗ C. Bessiere LIRMM Montpellier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Computer programming Local consistency Constraint satisfaction Constraint logic programming Parameterized complexity Mathematical optimization Clique problem Decomposition method Complexity of constraint satisfaction Constraint programming Theoretical computer science Software engineering

UPDATE