Остановите войну!
for scientists:
default search action
Nicolas Beldiceanu
- > Home > Persons > Nicolas Beldiceanu
Publications
- 2019
- [i7]Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz:
Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints. CoRR abs/1912.01532 (2019) - 2017
- [c57]Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey:
Range-Consistent Forbidden Regions of Allen's Relations. CPAIOR 2017: 21-29 - 2016
- [j14]Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis:
Using finite transducers for describing and synthesising structural time-series constraints. Constraints An Int. J. 21(1): 22-40 (2016) - [c54]Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis:
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. CP 2016: 13-29 - [i5]Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis:
Global Constraint Catalog, Volume II, Time-Series Constraints. CoRR abs/1609.08925 (2016) - 2015
- [j13]Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu:
Synchronized sweep algorithms for scalable scheduling constraints. Constraints An Int. J. 20(2): 183-234 (2015) - [c51]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme:
A Modelling Pearl with Sortedness Constraints. GCAI 2015: 27-41 - 2014
- [c48]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson:
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. CP 2014: 142-157 - 2013
- [j11]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson:
On the reification of global constraints. Constraints An Int. J. 18(1): 1-6 (2013) - [j10]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson:
On matrices, automata, and double counting in constraint programming. Constraints An Int. J. 18(1): 108-140 (2013) - [c45]Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu:
A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. CPAIOR 2013: 144-159 - [c44]Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis:
GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. SOCS 2013: 149-157 - 2012
- [c42]Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson:
A Scalable Sweep Algorithm for the cumulative Constraint. CP 2012: 439-454 - [c41]Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin:
An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. ECAI 2012: 145-150 - 2011
- [j9]Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Emmanuel Poder:
New filtering for the cumulative constraint in the context of non-overlapping rectangles. Ann. Oper. Res. 184(1): 27-50 (2011) - 2010
- [c35]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson:
On Matrices, Automata, and Double Counting. CPAIOR 2010: 10-24 - [i1]Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages:
Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. ERCIM News 2010(81) (2010) - 2009
- [c33]Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli:
Six Ways of Integrating Symmetries within Non-overlapping Constraints. CPAIOR 2009: 11-25 - 2008
- [c31]Mats Carlsson, Nicolas Beldiceanu, Julien Martin:
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. CP 2008: 220-234 - [c30]Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder:
New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. CPAIOR 2008: 21-35 - 2007
- [j5]Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit:
Global Constraint Catalogue: Past, Present and Future. Constraints An Int. J. 12(1): 21-62 (2007) - [c29]Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet:
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. CP 2007: 180-194 - 2006
- [j4]Nicolas Beldiceanu, Mats Carlsson, Sven Thiel:
Sweep synchronization as a global propagation mechanism. Comput. Oper. Res. 33(10): 2835-2851 (2006) - [c26]Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit:
Graph Properties Based Filtering. CP 2006: 59-74 - 2005
- [j2]Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit:
Reformulation of Global Constraints Based on Constraints Checkers. Constraints An Int. J. 10(4): 339-362 (2005) - [c24]Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet:
Graph Invariants as Necessary Conditions for Global Constraints. CP 2005: 92-106 - 2004
- [c21]Mats Carlsson, Nicolas Beldiceanu:
Dispensation Order Generation for Pyrosequencing. APBC 2004: 327-332 - [c20]Nicolas Beldiceanu, Mats Carlsson, Thierry Petit:
Deriving Filtering Algorithms from Constraint Checkers. CP 2004: 107-122 - [c16]Mats Carlsson, Nicolas Beldiceanu:
From Constraints to Finite Automata to Filtering Algorithms. ESOP 2004: 94-108 - 2002
- [c13]Nicolas Beldiceanu, Mats Carlsson:
A New Multi-resource cumulatives Constraint with Negative Heights. CP 2002: 63-79 - [c12]Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson:
Tracing and Explaining Execution of CLP(FD) Programs. WLPE 2002: 1-16 - 2001
- [c10]Nicolas Beldiceanu, Mats Carlsson:
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. CP 2001: 377-391 - [c8]Nicolas Beldiceanu, Mats Carlsson:
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. ICLP 2001: 59-73
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.
last updated on 2024-04-25 02:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint