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 |
|