The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Constraints"( http://dblp.L3S.de/Venues/Constraints )

URL (DBLP): http://dblp.uni-trier.de/db/journals/constraints

Publication years (Num. hits)
1996-1997 (35) 1998 (22) 1999 (18) 2000 (16) 2001 (19) 2002 (19) 2003 (19) 2004-2005 (33) 2006 (19) 2007 (20) 2008 (21) 2009 (22) 2010 (25) 2011 (17) 2012 (16) 2013 (20) 2014 (19) 2015 (45) 2016 (31) 2017 (29) 2018 (20) 2019 (7)
Publication types (Num. hits)
article(492)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 298 occurrences of 188 keywords

Results
Found 492 publication records. Showing 492 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo Improved WPM encoding for coalition structure generation under MC-nets. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey Constraints for symmetry breaking in graph representation. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kostas Stergiou 0001 Neighborhood singleton consistencies. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dimitris Achlioptas, Panos Theodoropoulos Model counting with error-correcting codes. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Compiling CP subproblems to MDDs and d-DNNFs. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vinasétan Ratheil Houndji, Pierre Schaus, Laurence Wolsey The item dependent stockingcost constraint. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aolong Zha, Miyuki Koshimura, Hiroshi Fujita N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matteo Fischetti, Jason Jo Deep neural networks and mixed integer linear optimization. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Achref El Mouelhi On a new extension of BTP for binary CSPs. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif MiniBrass: Soft constraints for MiniZinc. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anas Alghazi, Mary E. Kurz Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hamed Fahimi, Yanick Ouellet, Claude-Guy Quimper Linear-time filtering algorithms for the disjunctive constraint and a quadratic filtering algorithm for the cumulative not-first not-last. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julien Vion, Sylvain Piechowiak From MDD to BDD and Arc consistency. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John N. Hooker, Willem Jan van Hoeve Constraint programming and operations research. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilím IBM ILOG CP optimizer for scheduling - 20+ years of scheduling with constraints at IBM/ILOG. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea, Luca Pulina Translation-based approaches for solving disjunctive temporal problems with preferences. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis Deriving generic bounds for time-series constraints based on regular expressions characteristics. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vinasétan Ratheil Houndji Cost-based filtering algorithms for a Capacitated Lot Sizing Problem and the Constrained Arborescence Problem. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Willem-Jan van Hoeve Introduction to the CPAIOR 2018 fast track issue. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Derval, Jean-Charles Régin, Pierre Schaus Improved filtering for the bin-packing with cardinality constraint. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Morin, Margarita P. Castro, Kyle E. C. Booth, Tony T. Tran, Chang Liu, J. Christopher Beck Intruder alert! Optimization models for solving the mobile robot graph-clear problem. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ferdinando Fioretto, Enrico Pontelli, William Yeoh 0001, Rina Dechter Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sascha Van Cauwelaert, Michele Lombardi 0001, Pierre Schaus How efficient is a global constraint in practice? - A fair experimental framework. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robinson Duque, Alejandro Arbelaez, Juan Francisco Díaz Online over time processing of combinatorial problems. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michela Milano Twenty Years of Constraint Programming (CP) Research. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eugene C. Freuder Progress towards the Holy Grail. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Imen Zghidi, Brahim Hnich, Abdelwaheb Rebaï Modeling uncertainties with chance constraints. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John O. R. Aoga, Tias Guns, Pierre Schaus Mining Time-constrained Sequential Patterns with Constraint Programming. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yash Puranik, Nikolaos V. Sahinidis Domain reduction techniques for global NLP and MINLP optimization. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohammed Bekkouche Combining techniques of bounded model checking and constraint programming to aid for error localization. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Charlotte Truchet, Eric Monfroy A global constraint for over-approximation of real-time streams. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Domenico Salvagnin, Michele Lombardi 0001 Introduction to the CPAIOR 2017 fast track issue. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emmanuel Hebrard, Marie-José Huguet, Daniel Veysseire, Ludivine Boche Sauvan, Bertrand Cabon Constraint programming for planning test campaigns of communications satellites. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Imen Zghidi Towards statistical consistency for stochastic constraint programming. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette Auto-tabling for subproblem presolving in MiniZinc. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jesús Giráldez-Cru Beyond the structure of SAT formulas. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Willem-Jan van Hoeve, Michel Rueher Introduction to the fast track issue for CP 2016. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philippe Jégou, Cyril Terrioux Combining restarts, nogoods and bag-connected decompositions for solving CSPs. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kostas Stergiou 0001 Revisiting restricted path consistency. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter G. Jeavons The power of propagation: when GAC is enough. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar 0001 Constraint-directed search for all-interval series. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex Triangle-based consistencies for cost function networks. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnamurthy Dvijotham, Michael Chertkov, Pascal Van Hentenryck, Marc Vuffray, Sidhant Misra Graphical models for optimal power flow. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guido Tack, Christopher Mears PhD theses in constraints. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler What is answer set programming to propositional satisfiability. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amina Kemmar, Yahia Lebbah, Samir Loudni, Patrice Boizumault, Thierry Charnois Prefix-projection global constraint and top-k approach for sequential pattern mining. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laurent D. Michel, Pascal Van Hentenryck A microkernel architecture for constraint programming. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michela Milano Report from the Editor in Chief, year 2015. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sascha Van Cauwelaert, Pierre Schaus Efficient filtering for the Resource-Cost AllDifferent constraint. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Özgür Akgün Extensible automated constraint modelling via refinement of abstract problem specifications. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Achref El Mouelhi Tractable classes for CSPs of arbitrary arity: from theory to practice. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlo Comin, Roberto Posenato, Romeo Rizzi Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Margaux Nattaf, Christian Artigues, Pierre Lopez Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functions. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph D. Scott Other things besides number: Abstraction, constraint propagation, and string variable types. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Kreter, Andreas Schutt, Peter J. Stuckey Using constraint programming for solving RCPSP/max-cal. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David F. Manlove, Iain McBride, James Trimble 0001 "Almost-stable" matchings in the Hospitals / Residents problem with Couples. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary General game playing with stochastic CSP. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Barry Hurley 0001, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry Multi-language evaluation of exact solvers in graphical model discrete optimization. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John N. Hooker Projection, consistency, and George Boole. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Quantified maximum satisfiability. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean Bertrand Gauthier, Antoine Legrain Operating room management under uncertainty. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Milan Bankovic Extending SMT solvers with support for finite domain alldifferent constraint. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Edward Lam, Pascal Van Hentenryck A branch-and-price-and-check model for the vehicle routing problem with location congestion. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luc Jaulin Range-only SLAM with indistinguishable landmarks; a constraint programming approach. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mark H. Liffiton, Alessandro Previti, Ammar Malik, João Marques-Silva Fast, flexible MUS enumeration. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Claude-Guy Quimper Introduction to the fast track issue for CPAIOR 2016. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philip Kilby, Tommaso Urli Fleet design optimisation from historical data using constraint programming and large neighbourhood search. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Evgenij Thorstensen Structural decompositions for problems with global constraints. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Soon Chee Loong, Wen-Yang Ku, J. Christopher Beck ℚ-bounds consistency for the spread constraint with variable mean. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda Visual search tree profiling. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Di Gaspero, Andrea Rendl, Tommaso Urli Balancing bike sharing systems with constraint programming. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi On computing minimal independent support and its applications to sampling and counting. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yossef Oren, Avishai Wool Side-channel cryptographic attacks using pseudo-boolean optimization. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1El Mehdi El Graoui, Imade Benelallam, El-Houssine Bouyakhf A commentary on "Hybrid search for minimal perturbation in Dynamic CSPs". Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Bergman, André Augusto Ciré Theoretical insights and algorithmic tools for decision diagram-based optimization. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amira Dems, Louis-Martin Rousseau, Jean-Marc Frayret A hybrid constraint programming approach to a wood procurement problem with bucking decisions. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Avraham Itzhakov, Michael Codish Breaking symmetries in graph search with canonizing sets. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis Using finite transducers for describing and synthesising structural time-series constraints. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philippe Vismara, Remi Coletta, Gilles Trombettoni Constrained global optimization for wine blending. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1 Editor's note. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Thierry Petit, Mohamed Siala 0002, Toby Walsh Three generalizations of the FOCUS constraint. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michele Lombardi 0001, Stefano Gualandi A lagrangian propagator for artificial neural networks in constraint programming. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anastasia Paparrizou, Kostas Stergiou 0001 Strong local consistency algorithms for table constraints. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Clément Carbonnel, Martin C. Cooper Tractability in constraint satisfaction problems: a survey. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-Guillaume Fages, Xavier Lorca, Louis-Martin Rousseau The salesman and the tree: the importance of search in CP. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohamed Siala 0002 Search, propagation, and learning in sequencing and scheduling problems. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1André Augusto Ciré Decision diagrams for optimization. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su Adding laziness in BnB-ADOPT+. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Achref El Mouelhi, Philippe Jégou, Cyril Terrioux A hybrid tractable class for non-binary CSPs. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Victor Pillac, Manuel Cebrián, Pascal Van Hentenryck A column-generation approach for joint mobilization and evacuation planning. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Bergman New techniques for discrete optimization. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jean-Guillaume Fages On the use of graphs within constraint-programming. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gustav Björdal, Jean-Noël Monette, Pierre Flener, Justin Pearson A constraint-based local search backend for MiniZinc. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gilles Simonin, Christian Artigues, Emmanuel Hebrard, Pierre Lopez Scheduling scientific experiments for comet exploration. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luis Quesada 0001, Lanny Sitanayah, Kenneth N. Brown, Barry O'Sullivan, Cormac J. Sreenan A constraint programming approach to the additional relay placement problem in wireless sensor networks. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christopher Mears, Maria Garcia de la Banda, Mark Wallace 0001, Bart Demoen A method for detecting symmetries in constraint models and its generalisation. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guido Tack, Christopher Mears PhD theses in constraints 2012-2015. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu Synchronized sweep algorithms for scalable scheduling constraints. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 492 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license