Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Valerio Grossi, Dino Pedreschi, Franco Turini |
Data Mining and Constraints: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 25-48, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Barry Hurley 0001, Barry O'Sullivan, Helmut Simonis |
ICON Loop Energy Show Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 334-347, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Sergey P. Shary |
Graph Subdivision Methods in Interval Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 153-170, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Young-Jun Son |
An Extended BDI-Based Model for Human Decision-Making and Social Behavior: Various Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 171-174, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Lenore R. Mullin, James E. Raynolds |
Scalable, Portable, Verifiable Kronecker Products on Multi-scale Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 111-129, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Karen Villaverde, Olga Kosheleva, Martine Ceberio |
Why Ellipsoid Constraints, Ellipsoid Clusters, and Riemannian Space-Time: Dvoretzky's Theorem Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 203-207, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Uram Anibal Sosa Aguirre, Martine Ceberio, Vladik Kreinovich |
Why Curvature in L-Curve: Combining Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 175-179, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Luciana Garbayo |
Epistemic Considerations on Expert Disagreement, Normative Justification, and Inconsistency Regarding Multi-criteria Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 35-45, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Paden Portillo, Martine Ceberio, Vladik Kreinovich |
Towards an Efficient Bisection of Ellipsoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 137-141, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Tanja Magoc, François Modave |
Optimization of the Choquet Integral Using Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 97-109, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Vladik Kreinovich |
Under Physics-Motivated Constraints, Generally-Non-Algorithmic Computational Problems become Algorithmically Solvable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 85-89, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Eduardo Cabral Balreira, Olga Kosheleva, Vladik Kreinovich |
Algorithmics of Checking whether a Mapping Is Injective, Surjective, and/or Bijective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 1-7, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Martine Ceberio, Vladik Kreinovich |
Continuous If-Then Statements Are Computable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 15-18, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Misha Koshelev |
Gibbs Sampling as a Natural Statistical Analog of Constraints Techniques: Prediction in Science under General Probabilistic Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 67-74, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Laura Painton Swiler, Patricia D. Hough, Peter Z. G. Qian, Xu Xu, Curtis B. Storlie, Herbert Lee |
Surrogate Models for Mixed Discrete-Continuous Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 181-202, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Juan Carlos Figueroa García, Germán Jairo Hernández |
Linear Programming with Interval Type-2 Fuzzy Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 19-34, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Raazesh Sainudiin |
An Auto-validating Rejection Sampler for Differentiable Arithmetical Expressions: Posterior Sampling of Phylogenetic Quartets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 143-152, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Olga Kosheleva, Martine Ceberio, Vladik Kreinovich |
Why Tensors? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 75-78, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Olga Kosheleva, Martine Ceberio, Vladik Kreinovich |
Adding Constraints - A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 79-83, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Jörg Wicker, Lothar Richter, Stefan Kramer 0001 |
SINDBAD and SiQL: Overview, Applications and Future Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 289-309, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vítor Santos Costa, Hannu Toivonen |
Probabilistic Inductive Querying Using ProbLog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 229-262, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Celine Vens, Leander Schietgat, Jan Struyf, Hendrik Blockeel, Dragi Kocev, Saso Dzeroski |
Predicting Gene Function using Predictive Clustering Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 365-387, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Joaquin Vanschoren, Hendrik Blockeel |
Experiment Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 335-361, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Björn Bringmann, Siegfried Nijssen, Albrecht Zimmermann |
From Local Patterns to Classification Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 127-154, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Hendrik Blockeel, Toon Calders, Élisa Fromont, Adriana Prado, Bart Goethals, Céline Robardet |
Inductive Querying with Virtual Mining Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 265-287, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Hendrik Blockeel, Toon Calders, Élisa Fromont, Bart Goethals, Adriana Prado, Céline Robardet |
A Practical Comparative Study Of Data Mining Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 59-77, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Arno Siebes, Diyah Puspitaningrum |
Patterns on Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 311-334, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Luc De Raedt, Manfred Jaeger, Sau Dan Lee, Heikki Mannila |
A Theory of Inductive Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 79-103, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Ivica Slavkov, Saso Dzeroski |
Analyzing Gene Expression Data with Predictive Clustering Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 389-406, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Loïc Cerf, Tran Bao Nhan Nguyen, Jean-François Boulicaut |
Mining Constrained Cross-Graph Cliques in Dynamic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 199-228, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Christophe Rigotti, Ieva Mitasiunaite, Jérémy Besson, Laurène Meyniel, Jean-François Boulicaut, Olivier Gandrillon |
Using a Solver Over the String Pattern Domain to Analyze Gene Promoter Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 407-423, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Ella Bingham |
Finding Segmentations of Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 177-197, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Jan Struyf, Saso Dzeroski |
Constrained Predictive Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 155-175, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Pance Panov, Saso Dzeroski, Larisa N. Soldatova |
Representing Entities in the OntoDM Data Mining Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 27-58, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Ross D. King, Amanda C. Schierz, Amanda Clare, Jem J. Rowland, Andrew Sparkes, Siegfried Nijssen, Jan Ramon |
Inductive Queries for a Drug Designing Robot Scientist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 425-451, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin (eds.) |
The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
25 | Barnaby Martin, Jos Martin |
The complexity of positive first-order logic without equality II: The four-element case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
25 | Ross Willard |
PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
25 | Matthew Valeriote, Simone Bova, Hubie Chen |
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
25 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
A Flexible Search Framework for CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Handling Rules ![In: Constraint Handling Rules, Current Research Topics, pp. 16-47, 2008, Springer, 978-3-540-92242-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen |
CHR for Imperative Host Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Handling Rules ![In: Constraint Handling Rules, Current Research Topics, pp. 161-212, 2008, Springer, 978-3-540-92242-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Bernd Bank, Max J. Egenhofer, Bart Kuijpers (eds.) |
Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Stephan Mäs |
Checking the Integrity of Spatial Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Bart Kuijpers, Walied Othman |
An analytic solution to the alibi query in the bead model for moving object data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Rafael Grimson |
A lower bound for the complexity of linear optimization from a quantifier-elimination point of view. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Carla P. Gomes, Toby Walsh |
Randomness and Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 639-664, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Francesca Rossi 0001, Peter van Beek, Toby Walsh |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 3-12, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Willem-Jan van Hoeve, Irit Katriel |
Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 169-208, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Kenneth N. Brown, Ian Miguel |
Uncertainty and Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 731-760, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Peter van Beek |
Backtracking Search Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 85-134, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Pedro Meseguer, Francesca Rossi 0001, Thomas Schiex |
Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 281-328, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ulrich Junker |
Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 837-873, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ugo Montanari |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. v-vi, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Holger H. Hoos, Edward P. K. Tsang |
Local Search Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 135-167, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Barbara M. Smith |
Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 377-406, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Carmen Gervet |
Constraints over Structured Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 605-638, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Frédéric Benhamou, Laurent Granvilliers |
Continuous and Interval Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 571-603, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Rolf Backofen, David R. Gilbert |
Bioinformatics and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 905-944, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Manolis Koubarakis |
Temporal CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 665-697, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Philip Kilby, Paul Shaw |
Vehicle Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 801-836, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Thom W. Frühwirth, Laurent Michel, Christian Schulte 0001 |
Constraints in Procedural and Concurrent Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 453-494, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Eugene C. Freuder, Richard J. Wallace (eds.) |
Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![DIMACS/AMS, 978-0-8218-2710-9 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski (eds.) |
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![Springer, 3-540-41137-2 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Sridhar Ramaswamy |
I/O-Efficient Algorithms for CDBs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 343-360, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Peter Z. Revesz |
Datalog and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 155-170, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Bart Kuijpers, Dirk Van Gucht |
Genericity in Spatial Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 293-303, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Gabriel M. Kuper, Michel Scholl |
Geographic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 175-198, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens |
Euclidean Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 275-291, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin |
The DEDALE Prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 365-382, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Peter Z. Revesz |
The DISCO System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 383-389, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su |
Expressive Power: The Infinite Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 89-107, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Michael Benedikt, Leonid Libkin |
Query Safety with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 109-129, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Pierre Wolper |
Linear Repeating Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 305-314, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Gabriel M. Kuper, Leonid Libkin, Jan Paredaens |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 1-16, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin |
Optimization Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 319-334, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Michael Benedikt, Leonid Libkin |
Expressive Power: The Finite Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 55-87, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Bart Kuijpers, Victor Vianu |
Topological Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 231-273, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | David Toman 0001 |
SQL/TP: A Temporal Extension of SQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 391-399, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Alexandre Tessier, Gérard Ferrand |
Declarative Diagnosis in the CLP Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 151-174, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak |
Locating Type Errors in Untyped CLP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 121-150, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
A Generic Processor for Program Validation and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 63-107, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Pascal Bouvier |
Visual Tools to Debug Prolog IV Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 177-190, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Christophe Aillaud, Pierre Deransart |
Towards a Language for CLP Choice-Tree Visualisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 209-236, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Claude Laï |
Assertions with Constraints for CLP Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 109-120, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Manuel Carro, Manuel V. Hermenegildo |
Tools for Search-Tree Visualisation: The APT Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 237-252, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Helmut Simonis, Abderrahmane Aggoun |
Search-Tree Visualisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 191-208, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta 0001, Enrico Pontelli, Manuel Carro, Péter Kacsuk (eds.) |
Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![Elsevier The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
25 | Manuel Eduardo Correia, Vítor Santos Costa |
IAP for dummies: The YAP Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 106-121, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
The Ciao Module System: A New Module System for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 122-142, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 144-162, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Henri Lesourd |
The Implementation of the Hammurabi System: Indexing and Interprocess Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 46-66, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Mutsunori Banbara, Naoyuki Tamura |
Translating a Linear Logic Programming Language into Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 20-45, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Kyoung-Sun Kang, Naoyuki Tamura |
A Static Analysis Method for a Classical Linear Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 3-19, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Paul Tarau |
Multi-engine Horn Clause Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 143, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Baoqiu Cui, David Scott Warren |
Attributed Variables in XSB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 67-80, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta 0001, Enrico Pontelli, Manuel Carro, Péter Kacsuk |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 1-2, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Christos Voudouris, Edward P. K. Tsang |
Guided local search joins the elite in discrete optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. 29-39, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Nareyek |
Using global constraints for local search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. 9-28, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Carmen Gervet |
Large scale combinatorial optimization: A methodological viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. 151-175, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. vii-, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|