| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Javier Larrosa, Barry O'Sullivan (eds.) |
Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers  |
CSCLP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Martin, Thierry Martinez, François Fages |
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Gutierrez, Pedro Meseguer |
Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Vion, Thierry Petit, Narendra Jussien |
Integrating Strong Local Consistencies into Constraint Solvers. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels |
MAC-DBT Revisited. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Daniele Pirolandi, Francesco Santini 0001 |
Solving Weighted Argumentation Frameworks with Soft Constraints. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Oddi, François Fages, Francesca Rossi 0001 (eds.) |
Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder |
Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Simonis |
Solving the Static Design Routing and Wavelength Assignment Problem. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Wolf |
Constraint-Based Modeling and Scheduling of Clinical Pathways. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Oddi, Riccardo Rasconi |
Iterative Flattening Search on RCPSP/max Problems: Recent Developments. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Francesca Rossi 0001, Sylvain Soliman (eds.) |
Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Rina Dechter |
Robust Solutions in Unstable Optimization Problems. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | William Yeoh 0001, Ariel Felner, Sven Koenig |
IDB-ADOPT: A Depth-First Search DCOP Algorithm. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
Distributed Search Algorithms, ADOPT, Distributed Constraint Optimization, DCOP |
| 1 | Khalil Djelloul |
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Julien Martin |
From Rules to Constraint Programs with the Rules2CP Modelling Language. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini 0001 |
From Marriages to Coalitions: A Soft CSP Approach. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Giorgio Gosti |
Solving CSPs with Naming Games. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige |
Challenges in Constraint-Based Analysis of Hybrid Systems. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
mixed Boolean and arithmetic constraints, stochastic SMT, parallel solver, differential equations, Craig interpolation |
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
Combining Symmetry Breaking and Global Constraints. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Razgon, Barry O'Sullivan, Gregory M. Provan |
Generalizing Global Constraints Based on Network Flows. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Junker |
Preference-Based Problem Solving for Constraint Programming. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Improving ABT Performance by Adding Synchronization Points. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Correia, Pedro Barahona |
On the Integration of Singleton Consistencies and Look-Ahead Heuristics. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Francesca Rossi 0001, Kristen Brent Venable |
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom W. Frühwirth |
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Surynek |
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
global filtration, mutual exclusion network, search |
| 1 | Yves Deville, Grégoire Dooms, Stéphane Zampelli |
Combining Two Structured Domains for Modeling Various Graph Matching Problems. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi 0001 (eds.) |
Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
SCLP for Trust Propagation in Small-World Networks. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Cepek, Martin Hejna |
Temporal Reasoning in Nested Temporal Networks with Alternatives. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi 0001 (eds.) |
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Azevedo |
An Attempt to Dynamically Break Symmetries in the Social Golfers Problem. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable |
Bipolar Preference Problems: Framework, Properties and Solving Techniques. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Meister, Khalil Djelloul, Thom W. Frühwirth |
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi-Bich-Hanh Dao, Khalil Djelloul |
Solving First-Order Constraints in the Theory of the Evaluated Trees. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Wallace 0001 |
Hybrid Algorithms in Constraint Programming. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
search, constraint programming, hybrid algorithms |
| 1 | Igor Razgon, Barry O'Sullivan |
Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Armagan Tarim, Brahim Hnich, Roberto Rossi 0002, Steven D. Prestwich |
Cost-Based Filtering for Stochastic Inventory Control. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Cepek |
A Constraint Model for State Transitions in Disjunctive Resources. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
domain filtering, disjunctive resource, constraint, state transition |
| 1 | Ismel Brito, Pedro Meseguer |
Distributed Forward Checking May Lie for Privacy. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chavalit Likitvivatanavong, Roland H. C. Yap |
Extracting Microstructure in Binary Constraint Networks. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Benedetti, Arnaud Lallouet, Jérémie Vautard |
Reusing CSP Propagators for QCSPs. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
QCSP, Quantified Languages |
| 1 | Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi 0001 (eds.) |
Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Armagan Tarim, Ian Miguel |
A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom W. Frühwirth |
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Razgon |
Complexity Analysis of Heuristic CSP Search Algorithms. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Martin |
The Challenge of Exploiting Weak Symmetries. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude-Guy Quimper, Toby Walsh |
The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ola Angelsmark, Johan Thapper |
Partitioning Based Algorithms for Some Colouring Problems. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
On Generators of Random Quasigroup Problems. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Wallace |
Analysis of Heuristic Synergies. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Razgon, Amnon Meisels |
A CSP Search Algorithm with Reduced Branching Factor. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Coquery, François Fages |
A Type System for CHR. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
Among, Common and Disjoint Constraints. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte 0001, Guido Tack |
Views and Iterators for Generic Constraint Implementations. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arathi Ramani, Igor L. Markov |
Automatically Exploiting Symmetries in Constraint Programming. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkata Praveen Guddeti, Berthe Y. Choueiry |
Characterization of a New Restart Strategy for Randomized Backtrack Search. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Petcu, Boi Faltings |
A Value Ordering Heuristic for Local Search in Distributed Resource Allocation. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Lallouet |
A Note on Bilattices and Open Constraint Programming. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo |
A System Prototype for Solving Multi-granularity Temporal CSP. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Holland, Barry O'Sullivan |
Super Solutions for Combinatorial Auctions. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Viet Nguyen, Djamila Sam-Haroud, Boi Faltings |
Dynamic Distributed BackJumping. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
Distributed Systems, Multi-Agent Systems, Search, Constraint Satisfaction |
| 1 | Igor Razgon, Amnon Meisels |
Pruning by Equally Constrained Variables. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Brahim Hnich, Steven D. Prestwich, Evgeny Selensky |
Constraint-Based Approaches to the Covering Test Problem. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ola Angelsmark, Johan Thapper |
Algorithms for the Maximum Hamming Distance Problem. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, François Fages, Francesca Rossi 0001, Péter Szeredi, József Váncza (eds.) |
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Christopher Beck, Patrick Prosser, Richard J. Wallace |
Trying Again to Fail-First. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Beldiceanu, Irit Katriel, Sven Thiel |
GCC-Like Restrictions on the Same Constraint. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Brice Pajot |
Computing Equilibria Using Interval Constraints. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaling Zheng, Berthe Y. Choueiry |
New Structural Decomposition Techniques for Constraint Satisfaction Problems. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Wolf |
Better Propagation for Non-preemptive Single-Resource Constraint Problems. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari |
Protein Folding in CLP(FD) with Empirical Contact Energies. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Peter Zoeteweij |
A Comparative Study of Arithmetic Constraints on Integer Intervals. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Szeredi |
Teaching Constraints through Logic Puzzles. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings |
Clustering for Disconnected Solution Sets of Numerical CSPs. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Brand, Rosella Gennari, Maarten de Rijke |
Constraint Methods for Modal Satisfiability. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Roman Mecl |
Implementing Propagators for Tabular Constraints. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Castro 0001, Éric Monfroy, Christophe Ringeissen |
A Rule Language for Interaction. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Tomás Müller, Hana Rudová |
A New Approach to Modeling and Solving Minimal Perturbation Problems. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan |
Tradeoff Generation Using Soft Constraints. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoleta Neagu, Stefano Bistarelli, Boi Faltings |
Experimental Evaluation of Interchangeability in Soft CSPs. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Wolf |
Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Langevine, Pierre Deransart, Mireille Ducassé |
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zsófia Ruttkay, Zhisheng Huang, Anton Eliëns |
Gestures for Embodied Agents with Logic Programming. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali |
Learning Approximate Consistencies. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesca Rossi 0001, Isabella Pilan |
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license