Search results for "Constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Elsa Carvalho, Jorge Cruz 0001, Pedro Barahona	Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example.	Constraints An Int. J.	2013	DBLP DOI BibTeX RDF
20	Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories.	Constraints An Int. J.	2013	DBLP DOI BibTeX RDF
20	Stefan Heinz 0001, Jens Schulz, J. Christopher Beck	Using dual presolving reductions to reformulate cumulative constraints.	Constraints An Int. J.	2013	DBLP DOI BibTeX RDF
20	Alessandro Alla, Maurizio Falcone	An Adaptive POD Approximation Method for the Control of Advection-Diffusion Equations.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	Yvon Maday, Mohamed Kamel Riahi, Julien Salomon	Parareal in Time Intermediate Targets Methods for Optimal Control Problems.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	Kazufumi Ito	Nonsmooth Optimization Method and Sparsity.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	H. T. Banks, Danielle Robbins, Karyn L. Sutton	Generalized Sensitivity Analysis for Delay Differential Equations.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	Gregory von Winckel	A Globalized Newton Method for the Optimal Control of Fermionic Systems.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	Alina Studinger, Stefan Volkwein	Numerical Analysis of POD A-posteriori Error Estimation for Optimal Control.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	Ekkehard W. Sachs, Matthias Schu	Gradient Computation for Model Calibration with Pointwise Observations.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	Zhiping Rao, Hasnaa Zidani	Hamilton-Jacobi-Bellman Equations on Multi-domains.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	Gabriel Turinici	Cubature on C 1 Space.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	Susanne Beckers, Masahiro Yamamoto	Regularity and Unique Existence of Solution to Linear Diffusion Equation with Multiple Time-Fractional Derivatives.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
20	Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani 0001, Piotr Wojciechowski 0002	A complexity perspective on entailment of parameterized linear constraints.	Constraints An Int. J.	2012	DBLP DOI BibTeX RDF
20	Pascal Benchimol, Willem Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher	Improved filtering for weighted circuit constraints.	Constraints An Int. J.	2012	DBLP DOI BibTeX RDF
20	François Pachet, Pierre Roy	Markov constraints: steerable generation of Markov sequences.	Constraints An Int. J.	2011	DBLP DOI BibTeX RDF
20	Christophe Lecoutre	STR2: optimized simple tabular reduction for table constraints.	Constraints An Int. J.	2011	DBLP DOI BibTeX RDF
20	Stanislav Zivný, Peter G. Jeavons	Classes of submodular constraints expressible by graph cuts.	Constraints An Int. J.	2010	DBLP DOI BibTeX RDF
20	Ferenc Domes, Arnold Neumaier	Constraint propagation on quadratic constraints.	Constraints An Int. J.	2010	DBLP DOI BibTeX RDF
20	Serdar Kadioglu, Meinolf Sellmann	Grammar constraints.	Constraints An Int. J.	2010	DBLP DOI BibTeX RDF
20	Markus Zanker, Markus Jessenitschnig, Wolfgang Schmid	Preference reasoning with soft constraints in constraint-based recommender systems.	Constraints An Int. J.	2010	DBLP DOI BibTeX RDF
20	Hadrien Cambazard, Barry O'Sullivan	Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation".	Constraints An Int. J.	2010	DBLP DOI BibTeX RDF
20	S. Armagan Tarim, Brahim Hnich, Roberto Rossi 0002, Steven D. Prestwich	Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Non-stationary (R, S) policy, Stochastic demand, Dynamic programming relaxation, Inventory control, Cost-based filtering
20	Alessandro Dal Palù, Agostino Dovier, Sebastian Will	Introduction to the Special Issue on Bioinformatics and Constraints.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF
20	Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (eds.)	Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar].	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Andrei A. Bulatov, Matthew Valeriote	Recent Results on the Algebraic Approach to the CSP.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Nadia Creignou, Heribert Vollmer	Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Peter Jonsson, Gustav Nordh	Introduction to the Maximum SolutionProblem.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Henning Schnoor, Ilka Schnoor	Partial Polymorphisms and Constraint Satisfaction Problems.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF	partial polymorphisms, computational complexity, constraint satisfaction problems, clones
20	Manuel Bodirsky	Constraint Satisfaction Problems with Infinite Templates.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Francesco Scarcello, Georg Gottlob, Gianluigi Greco	Uniform Constraint Satisfaction Problems and Database Theory.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Andrei A. Bulatov, Andrei A. Krokhin, Benoît Larose	Dualities for Constraint Satisfaction Problems.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Ferdinand Börner	Basics of Galois Connections.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Oliver Kullmann	Present and Future of Practical SAT Solving.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (eds.)	Complexity of Constraints, 01.10. - 06.10.2006	Complexity of Constraints	2006	DBLP BibTeX RDF
20	Oliver Kullmann	Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalities.	Complexity of Constraints	2006	DBLP BibTeX RDF
20	Henning Schnoor, Ilka Schnoor	Enumerating all Solutions for Constraint Satisfaction Problems.	Complexity of Constraints	2006	DBLP BibTeX RDF
20	Hubie Chen, Martin Grohe	Constraint Satisfaction with Succinctly Specified Relations.	Complexity of Constraints	2006	DBLP BibTeX RDF
20	David A. Cohen, Marc Gyssens, Peter Jeavons 0001	A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems.	Complexity of Constraints	2006	DBLP BibTeX RDF
20	Henning Schnoor, Ilka Schnoor	New Algebraic Tools for Constraint Satisfaction.	Complexity of Constraints	2006	DBLP BibTeX RDF
20	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (eds.)	Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
20	Pascal Nicolas, Laurent Garcia, Igor Stéphan	Possibilistic Stable Models.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
20	Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso	Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
20	Rafal Grabos	Answer Set Programming and Combinatorial Voting.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
20	Axel Polleres	Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
20	Jeffrey B. Remmel, Victor W. Marek	Set Based Logic Programming.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
20	Naoufel Werghi, Robert B. Fisher, Anthony Ashbrook, Craig Robertson	Shape Reconstruction Incorporating Multiple Nonlinear Geometric Constraints.	Constraints An Int. J.	2002	DBLP DOI BibTeX RDF
20	Jean-Charles Régin	Cost-Based Arc Consistency for Global Cardinality Constraints.	Constraints An Int. J.	2002	DBLP DOI BibTeX RDF
20	Filippo Focacci, Andrea Lodi 0001, Michela Milano	Optimization-Oriented Global Constraints.	Constraints An Int. J.	2002	DBLP DOI BibTeX RDF
20	Roland H. C. Yap	Parametric Sequence Alignment with Constraints.	Constraints An Int. J.	2001	DBLP DOI BibTeX RDF
20	François Pachet, Philippe Codognet	Introduction to the Special Issue on Constraints for Multimedia Artistic Applications.	Constraints An Int. J.	2001	DBLP DOI BibTeX RDF
20	Christine Gaspin	RNA Secondary Structure Determination and Representation Based on Constraints Satisfaction.	Constraints An Int. J.	2001	DBLP DOI BibTeX RDF
20	Rolf Backofen, David R. Gilbert	Bioinformatics and Constraints.	Constraints An Int. J.	2001	DBLP DOI BibTeX RDF
20	Camilo Rueda, Gloria Alvarez, Luis Quesada 0001, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gérard Assayag	Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language.	Constraints An Int. J.	2001	DBLP DOI BibTeX RDF
20	François Pachet, Pierre Roy	Musical Harmonization with Constraints: A Survey.	Constraints An Int. J.	2001	DBLP DOI BibTeX RDF
20	Jean-Marc Talbot, Philippe Devienne, Sophie Tison	Generalized Definite Set Constraints.	Constraints An Int. J.	2000	DBLP DOI BibTeX RDF
20	Philip Kilby, Patrick Prosser, Paul Shaw	A Comparison of Traditional and Constraint-based Heuristic Methods on Vehicle Routing Problems with Side Constraints.	Constraints An Int. J.	2000	DBLP DOI BibTeX RDF
20	Nick D. Dendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitrios M. Thilikos	On Parallel Partial Solutions and Approximation Schemes for Local Consistency in Networks of Constraints.	Constraints An Int. J.	2000	DBLP DOI BibTeX RDF
20	Martin Müller 0001, Joachim Niehren, Andreas Podelski	Ordering Constraints over Feature Trees.	Constraints An Int. J.	2000	DBLP DOI BibTeX RDF
20	Susanne Heipcke, Yves Colombani, Cristina C. B. Cavalcante, Cid C. de Souza	Scheduling under Labour Resource Constraints.	Constraints An Int. J.	2000	DBLP DOI BibTeX RDF
20	Yves Caseau, François Laburthe	Solving Various Weighted Matching Problems with Constraints.	Constraints An Int. J.	2000	DBLP DOI BibTeX RDF
20	Peter Jeavons 0001, David A. Cohen, Marc Gyssens	How to Determine the Expressive Power of Constraints.	Constraints An Int. J.	1999	DBLP DOI BibTeX RDF
20	Maarten H. van Emden	Algorithmic Power from Declarative Use of Redundant Constraints.	Constraints An Int. J.	1999	DBLP DOI BibTeX RDF
20	Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi 0001	Abstracting Soft Constraints.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
20	Eddie Schwalb, Lluís Vila	Temporal Constraints: A Survey.	Constraints An Int. J.	1998	DBLP DOI BibTeX RDF
20	Hans W. Guesgen, Frank D. Anger, Gérard Ligozat, Rita V. Rodríguez	Introduction to the Special Issue of CONSTRAINTS on Spatial and Temporal Reasoning.	Constraints An Int. J.	1998	DBLP DOI BibTeX RDF
20	Claude Le Pape, Philippe Baptiste	Resource Constraints for Preemptive Job-shop Scheduling.	Constraints An Int. J.	1998	DBLP DOI BibTeX RDF
20	Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex	Introduction to a Benchmark Column in CONSTRAINTS.	Constraints An Int. J.	1998	DBLP DOI BibTeX RDF
20	Roberto Tamassia	Constraints in Graph Drawing Algorithms.	Constraints An Int. J.	1998	DBLP DOI BibTeX RDF
20	Raghu Ramakrishnan 0001, Peter J. Stuckey	Introduction to the Special Issue on Constraints and Databases.	Constraints An Int. J.	1997	DBLP DOI BibTeX RDF
20	Maarten H. van Emden	Value Constraints in the CLP Scheme.	Constraints An Int. J.	1997	DBLP DOI BibTeX RDF
20	Nam Huyn	Maintaining Global Integrity Constraints in Distributed Databases.	Constraints An Int. J.	1997	DBLP DOI BibTeX RDF
20	Rina Dechter	Bucket Elimination: a Unifying Framework for Processing Hard and Soft Constraints.	Constraints An Int. J.	1997	DBLP DOI BibTeX RDF
20	Raghu Ramakrishnan 0001	Constraints in Databases.	Constraints An Int. J.	1997	DBLP DOI BibTeX RDF
20	John G. Cleary	Constructive Negation of Arithmetic Constraints Using Dataflow Graphs.	Constraints An Int. J.	1997	DBLP DOI BibTeX RDF
20	Frédéric Benhamou, Pascal Van Hentenryck	Introduction to the Special Issue on Interval Constraints.	Constraints An Int. J.	1997	DBLP DOI BibTeX RDF
20	Eugene C. Freuder (eds.)	Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, Providence, RI, USA, July 27, 1997.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Amol Dattatraya Mali	Constraint-based specification of reactive multi-agent systems.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	David J. Musliner, Mark S. Boddy	Contract-Based Distributed Scheduling for Distributed Processing.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Aaron A. Armstrong, Edmund H. Durfee	Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	William S. Havens	NoGood Caching for MultiAgent Backtrack Search.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Kay Anke, Rainer Staudte, Werner Dilger	Producing and Improving Time Tables by Means of Constraint and Multi-agent Systems.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Victor Saks, Gretchen Braidic, Alexander Kott, Corey Kirschner	Distributed Medical Evacuation Planning: What Problem Should Each Agent Solve?	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Charles Petrie, Heecheol Jeon, Mark R. Cutkosky	Combining Constraint Propagation and Backtracking for Distributed Engineering.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Eugene C. Freuder, Richard J. Wallace	Suggestion Strategies for Constraint-Based Matchmaker Agents.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Dorothy L. Mammen, Victor R. Lesser	A Testbed for the Evaluation of Multi-Agent Communication and Problem-Solving Strategies.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Kazuo Miyashita	Iterative Constraint-based Repair for Multiagent Scheduling.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Austin Tate	Multi-agent Planning via Mutually Constraining the Space of Behaviour.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Alexander Nareyek	Constraint-Based Agents.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Gadi Solotorvsky, Ehud Gudes	Solving a Real-life Nurses Time Tabling and Transportation Problem Using Distributed CSP Techniques.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Michael Lemaître, Gérard Verfaillie	An Incomplete Method for Solving Distributed Valued Constraint Satisfaction Problems.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Toby Donaldson, Robin Cohen	Constraint-Based Discourse Agents.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Igor Shvetsov, Tatyana Nesterenko, Serge Starovit	Technology of Active Objects.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	H. Van Dyke Parunak, Allen C. Ward, Mitchell Fleischer, John A. Sauter, Tzyy-Chuh Chang	Distributed Component-Centered Design as Agent-Based Distributed Constraint Optimization.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Eugene C. Freuder, Peggy S. Eaton	Compromise Strategies for Constraint Agents.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Seshashayee S. Murthy, John Rachlin, Rama Akkiraju, Frederick Y. Wu	Agent-Based Cooperative Scheduling.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	John Anderson	Waffler: A Constraint-Directed Approach to Intelligent Agent Design.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
20	Djamila Sam-Haroud, Boi Faltings	Consistency Techniques for Continuous Constraints.	Constraints An Int. J.	1996	DBLP DOI BibTeX RDF
20	Peter Z. Revesz, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan 0001 (eds.)	ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994	ILPS Workshop: Constraints and Databases	1994	DBLP BibTeX RDF
20	Stéphane Bressan	Database Query Optimization and Evaluation as Constraint Satisfaction Problem Solving.	ILPS Workshop: Constraints and Databases	1994	DBLP BibTeX RDF