![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 29 matches
- 2017
- Özgür Akgün
:
Extensible automated constraint modelling via refinement of abstract problem specifications. Constraints An Int. J. 22(1): 91-92 (2017) - John O. R. Aoga
, Tias Guns
, Pierre Schaus:
Mining Time-constrained Sequential Patterns with Constraint Programming. Constraints An Int. J. 22(4): 548-570 (2017) - Anicet Bart
, Charlotte Truchet, Éric Monfroy:
A global constraint for over-approximation of real-time streams. Constraints An Int. J. 22(3): 463-490 (2017) - Mohammed Bekkouche
:
Combining techniques of bounded model checking and constraint programming to aid for error localization. Constraints An Int. J. 22(1): 93-94 (2017) - Sascha Van Cauwelaert, Pierre Schaus:
Efficient filtering for the Resource-Cost AllDifferent constraint. Constraints An Int. J. 22(4): 493-511 (2017) - David A. Cohen, Peter G. Jeavons:
The power of propagation: when GAC is enough. Constraints An Int. J. 22(1): 3-23 (2017) - Carlo Comin, Roberto Posenato
, Romeo Rizzi:
Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games. Constraints An Int. J. 22(2): 152-190 (2017) - Jip J. Dekker
, Gustav Björdal, Mats Carlsson
, Pierre Flener
, Jean-Noël Monette
:
Auto-tabling for subproblem presolving in MiniZinc. Constraints An Int. J. 22(4): 512-529 (2017) - Krishnamurthy Dvijotham
, Michael Chertkov
, Pascal Van Hentenryck, Marc Vuffray
, Sidhant Misra:
Graphical models for optimal power flow. Constraints An Int. J. 22(1): 24-49 (2017) - Jesús Giráldez-Cru
:
Beyond the structure of SAT formulas. Constraints An Int. J. 22(1): 95-96 (2017) - Emmanuel Hebrard
, Marie-José Huguet, Daniel Veysseire, Ludivine Boche Sauvan, Bertrand Cabon:
Constraint programming for planning test campaigns of communications satellites. Constraints An Int. J. 22(1): 73-89 (2017) - Willem-Jan van Hoeve, Michel Rueher:
Introduction to the fast track issue for CP 2016. Constraints An Int. J. 22(1): 1-2 (2017) - Philippe Jégou, Cyril Terrioux:
Combining restarts, nogoods and bag-connected decompositions for solving CSPs. Constraints An Int. J. 22(2): 191-229 (2017) - Amina Kemmar, Yahia Lebbah
, Samir Loudni, Patrice Boizumault, Thierry Charnois
:
Prefix-projection global constraint and top-k approach for sequential pattern mining. Constraints An Int. J. 22(2): 265-306 (2017) - Stefan Kreter, Andreas Schutt
, Peter J. Stuckey:
Using constraint programming for solving RCPSP/max-cal. Constraints An Int. J. 22(3): 432-462 (2017) - Yuliya Lierler:
What is answer set programming to propositional satisfiability. Constraints An Int. J. 22(3): 307-337 (2017) - David F. Manlove
, Iain McBride, James Trimble:
"Almost-stable" matchings in the Hospitals / Residents problem with Couples. Constraints An Int. J. 22(1): 50-72 (2017) - Laurent D. Michel
, Pascal Van Hentenryck:
A microkernel architecture for constraint programming. Constraints An Int. J. 22(2): 107-151 (2017) - Michela Milano:
Report from the Editor in Chief, year 2015. Constraints An Int. J. 22(1): 103-105 (2017) - Achref El Mouelhi
:
Tractable classes for CSPs of arbitrary arity: from theory to practice. Constraints An Int. J. 22(1): 97-98 (2017) - Margaux Nattaf, Christian Artigues, Pierre Lopez:
Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functions. Constraints An Int. J. 22(4): 530-547 (2017) - Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex
:
Triangle-based consistencies for cost function networks. Constraints An Int. J. 22(2): 230-264 (2017) - Md. Masbaul Alam Polash
, M. A. Hakim Newton
, Abdul Sattar
:
Constraint-directed search for all-interval series. Constraints An Int. J. 22(3): 403-431 (2017) - Yash Puranik, Nikolaos V. Sahinidis
:
Domain reduction techniques for global NLP and MINLP optimization. Constraints An Int. J. 22(3): 338-376 (2017) - Domenico Salvagnin, Michele Lombardi:
Introduction to the CPAIOR 2017 fast track issue. Constraints An Int. J. 22(4): 491-492 (2017) - Joseph D. Scott:
Other things besides number: Abstraction, constraint propagation, and string variable types. Constraints An Int. J. 22(1): 99-100 (2017) - Kostas Stergiou:
Revisiting restricted path consistency. Constraints An Int. J. 22(3): 377-402 (2017) - Guido Tack, Christopher Mears:
PhD theses in constraints. Constraints An Int. J. 22(1): 90 (2017) - Imen Zghidi
:
Towards statistical consistency for stochastic constraint programming. Constraints An Int. J. 22(1): 101-102 (2017)
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-03 22:46 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint