eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

226
active users

#constraintprogramming

0 posts0 participants0 posts today
Continued thread

6/6

❔ How to Nominate

⏳ Deadline: end of 22 June, 2025, AoE

📝 To nominate a paper, please fill in this form: forms.gle/V4eYuGKGSHjokpBw7

A nomination may come from anyone. Posthumous awards will be considered. All papers can be found online on the Springer webpage: link.springer.com/journal/1060

Help us recognise and celebrate the research that has shaped our field, and submit your nomination today!

Google DocsConstraints Journal – Prominent and Classic Paper Awards 2025The Constraints journal is pleased to announce two awards for papers published in the journal: The Constraints Prominent Paper Award which recognizes outstanding papers published not more than 7 years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 2018 and 2024 (inclusive) for the 2025 Prominent Paper Award. The Constraints Classic Paper Award which recognizes outstanding papers published at least 15 calendar years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 1996 and 2010 (inclusive) for the 2025 Classic Paper Award. The publication year refers to the publication year of the issue in which the paper appeared. Evaluation Criteria Factors influencing the decision of the award include: Did the paper start a significant new line of research? Has the paper made a major theoretical advance? Has it heavily influenced other researchers (whether in or outside CP?) Has the paper influenced applications? Nomination Submission Nominations are welcome until the end of 22 June 2025, AoE. A nomination may come from anyone. Posthumous awards will be considered. All papers can be found online on the Springer webpage.
Continued thread

2/6

The Constraints journal is seeking nominations for two awards that celebrate outstanding contributions to the field of constraint programming.

Please fill in this form by the end of 22 June 2025 AoE to nominate a candidate for the following awards (one nomination per form): forms.gle/V4eYuGKGSHjokpBw7

Google DocsConstraints Journal – Prominent and Classic Paper Awards 2025The Constraints journal is pleased to announce two awards for papers published in the journal: The Constraints Prominent Paper Award which recognizes outstanding papers published not more than 7 years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 2018 and 2024 (inclusive) for the 2025 Prominent Paper Award. The Constraints Classic Paper Award which recognizes outstanding papers published at least 15 calendar years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 1996 and 2010 (inclusive) for the 2025 Classic Paper Award. The publication year refers to the publication year of the issue in which the paper appeared. Evaluation Criteria Factors influencing the decision of the award include: Did the paper start a significant new line of research? Has the paper made a major theoretical advance? Has it heavily influenced other researchers (whether in or outside CP?) Has the paper influenced applications? Nomination Submission Nominations are welcome until the end of 22 June 2025, AoE. A nomination may come from anyone. Posthumous awards will be considered. All papers can be found online on the Springer webpage.
Continued thread

6/6
How to Nominate
Deadline: end of 31 May, 2025, AoE
To nominate a paper, please fill in this form: forms.gle/V4eYuGKGSHjokpBw7
A nomination may come from anyone. Posthumous awards will be considered. All papers can be found online on the Springer webpage: link.springer.com/journal/1060
Help us recognise and celebrate the research that has shaped our field, and submit your nomination today!
#BestPaperAward#ConstraintProgramming#AI#CallForNominations#Optimization#AcademicMastodon

Google DocsConstraints Journal – Prominent and Classic Paper Awards 2025The Constraints journal is pleased to announce two awards for papers published in the journal: The Constraints Prominent Paper Award which recognizes outstanding papers published not more than 7 years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 2018 and 2024 (inclusive) for the 2025 Prominent Paper Award. The Constraints Classic Paper Award which recognizes outstanding papers published at least 15 calendar years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 1996 and 2010 (inclusive) for the 2025 Classic Paper Award. The publication year refers to the publication year of the issue in which the paper appeared. Evaluation Criteria Factors influencing the decision of the award include: Did the paper start a significant new line of research? Has the paper made a major theoretical advance? Has it heavily influenced other researchers (whether in or outside CP?) Has the paper influenced applications? Nomination Submission Nominations are welcome until the end of 22 June 2025, AoE. A nomination may come from anyone. Posthumous awards will be considered. All papers can be found online on the Springer webpage.
Continued thread

5/6
Evaluation Criteria
Factors influencing the decision of the award include:
- Did the paper start a significant new line of research?
- Has the paper made a major theoretical advance?
- Has it heavily influenced other researchers (whether in or outside CP?)
- Has the paper influenced applications?
#BestPaperAward#ConstraintProgramming#AI#CallForNominations#Optimization#SpringerPublishing#AcademicMastodon

Continued thread

3/6
 Prominent Paper Award
This award honours papers that are exceptional in both their significance and impact on the field of Constraint Programming, and that were published in Constraints between 2018 and 2024 (inclusive).
The publication year refers to the publication year of the issue in which the paper appeared.
#BestPaperAward#ConstraintProgramming#AI#CallForNominations#Optimization#SpringerPublishing#AcademicMastodon

Continued thread

2/6
The Constraints journal is seeking nominations for two awards that celebrate outstanding contributions to the field of constraint programming. Please fill in this form by the end of 31 May 2025 AoE to nominate a candidate for the following awards (one nomination per form): forms.gle/V4eYuGKGSHjokpBw7
#BestPaperAward#ConstraintProgramming#AI#CallForNominations#Optimization#SpringerPublishing#AcademicMastodon

Google DocsConstraints Journal – Prominent and Classic Paper Awards 2025The Constraints journal is pleased to announce two awards for papers published in the journal: The Constraints Prominent Paper Award which recognizes outstanding papers published not more than 7 years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 2018 and 2024 (inclusive) for the 2025 Prominent Paper Award. The Constraints Classic Paper Award which recognizes outstanding papers published at least 15 calendar years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 1996 and 2010 (inclusive) for the 2025 Classic Paper Award. The publication year refers to the publication year of the issue in which the paper appeared. Evaluation Criteria Factors influencing the decision of the award include: Did the paper start a significant new line of research? Has the paper made a major theoretical advance? Has it heavily influenced other researchers (whether in or outside CP?) Has the paper influenced applications? Nomination Submission Nominations are welcome until the end of 22 June 2025, AoE. A nomination may come from anyone. Posthumous awards will be considered. All papers can be found online on the Springer webpage.
Continued thread

3/6

🏆** Prominent Paper Award**

This award honours papers that are exceptional in both their significance and impact on the field of Constraint Programming, and that were published in *Constraints* **between** **2018** **and** **2024** (inclusive).

The publication year refers to the publication year of the issue in which the paper appeared.

#BestPaperAward
#ConstraintProgramming
#AI
#CallForNominations
#Optimization
#SpringerPublishing
#AcademicMastodon

Continued thread

6/6

**How to Nominate**

**Deadline: end of 31 May, 2025, AoE**
To nominate a paper, please fill in this form: forms.gle/V4eYuGKGSHjokpBw7

A nomination may come from anyone. Posthumous awards will be considered. All papers can be found online on the Springer webpage: link.springer.com/journal/1060

Help us recognise and celebrate the research that has shaped our field, and submit your nomination today!

#BestPaperAward
#ConstraintProgramming
#AI
#CallForNominations
#Optimization
#AcademicMastodon

Google DocsConstraints Journal – Prominent and Classic Paper Awards 2025The Constraints journal is pleased to announce two awards for papers published in the journal: The Constraints Prominent Paper Award which recognizes outstanding papers published not more than 7 years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 2018 and 2024 (inclusive) for the 2025 Prominent Paper Award. The Constraints Classic Paper Award which recognizes outstanding papers published at least 15 calendar years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 1996 and 2010 (inclusive) for the 2025 Classic Paper Award. The publication year refers to the publication year of the issue in which the paper appeared. Evaluation Criteria Factors influencing the decision of the award include: Did the paper start a significant new line of research? Has the paper made a major theoretical advance? Has it heavily influenced other researchers (whether in or outside CP?) Has the paper influenced applications? Nomination Submission Nominations are welcome until the end of 22 June 2025, AoE. A nomination may come from anyone. Posthumous awards will be considered. All papers can be found online on the Springer webpage.
Continued thread

2/6

The *Constraints* journal is seeking nominations for two awards that celebrate outstanding contributions to the field of constraint programming. **Please fill in this form by the end of 31 May 2025 AoE** to nominate a candidate for the following awards (one nomination per form): forms.gle/V4eYuGKGSHjokpBw7

#BestPaperAward
#ConstraintProgramming
#AI
#CallForNominations
#Optimization
#SpringerPublishing
#AcademicMastodon

Google DocsConstraints Journal – Prominent and Classic Paper Awards 2025The Constraints journal is pleased to announce two awards for papers published in the journal: The Constraints Prominent Paper Award which recognizes outstanding papers published not more than 7 years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 2018 and 2024 (inclusive) for the 2025 Prominent Paper Award. The Constraints Classic Paper Award which recognizes outstanding papers published at least 15 calendar years ago in the Constraints journal that are exceptional in their significance and impact. Nominations are now solicited for papers published in Constraints between 1996 and 2010 (inclusive) for the 2025 Classic Paper Award. The publication year refers to the publication year of the issue in which the paper appeared. Evaluation Criteria Factors influencing the decision of the award include: Did the paper start a significant new line of research? Has the paper made a major theoretical advance? Has it heavily influenced other researchers (whether in or outside CP?) Has the paper influenced applications? Nomination Submission Nominations are welcome until the end of 22 June 2025, AoE. A nomination may come from anyone. Posthumous awards will be considered. All papers can be found online on the Springer webpage.
Continued thread

If you haven't heard about SharedIt yet, let us tell you about it!

springernature.com/gp/research

"SharedIt content-sharing initiative means that links to view-only, full-text subscription research articles can be posted anywhere"
"When your research article is published, an email will be sent to the corresponding author with a shareable link."

#OpenScience
#OpenAccess #OpenAccessPublishing #AcademicMastodon #ComputerScience #ConstraintProgramming #AI #ArtificialIntelligence #Springer #SharedIt

Many thanks to Springer's SharedIt program!

From now on, we will share new issues of the Constraints Journal on the Association for Constraint Programming website, along with bonus content (e.g., videos about the contents):

a4cp.org/cj2

#ConstraintProgramming #ArtificialIntelligence
#AssociationForConstraintProgramming
#ACP
#Springer
#SpringerPublishing
#Journal
#CP
#Optimisation #Optimization
#AI
#SharedIt
#OpenScience #OpenAccess #OpenAccessPublishing

Treat yourself on this hump day by reading about value branching heuristics in constraint solvers in our latest issue:

"Learning and fine-tuning a generic value-selection heuristic inside a constraint programming solver",

by Tom Marty, Léo Boisvert, Tristan François, Pierre Tessier, Louis Gautier, Louis-Martin Rousseau & Quentin Cappart

link.springer.com/article/10.1

#ConstraintProgramming
#OpenAccess
#OpenScience
#AI
#DeepLearning
#ML
#HumpDay

SpringerLinkLearning and fine-tuning a generic value-selection heuristic inside a constraint programming solver - ConstraintsConstraint programming is known for being an efficient approach to solving combinatorial problems. Important design choices in a solver are the branching heuristics, designed to lead the search to the best solutions in a minimum amount of time. However, developing these heuristics is a time-consuming process that requires problem-specific expertise. This observation has motivated many efforts to use machine learning to automatically learn efficient heuristics without expert intervention. Although several generic variable-selection heuristics are available in the literature, the options for value-selection heuristics are more scarce. We propose to tackle this issue by introducing a generic learning procedure that can be used to obtain a value-selection heuristic inside a constraint programming solver. This has been achieved thanks to the combination of a deep Q-learning algorithm, a tailored reward signal, and a heterogeneous graph neural network. Experiments on graph coloring, maximum independent set, maximum cut, and minimum vertex cover problems show that this framework competes with the well-known impact-based and activity-based search heuristics and can find solutions close to optimality without requiring a large number of backtracks. Additionally, we observe that fine-tuning a model with a different problem class can accelerate the learning process.

Treat yourself on this hump day by reading about value branching heuristics in constraint solvers in our latest issue:

"Learning and fine-tuning a generic value-selection heuristic inside a constraint programming solver",

by Tom Marty, Léo Boisvert, Tristan François, Pierre Tessier, Louis Gautier, Louis-Martin Rousseau & Quentin Cappart

link.springer.com/
article/10.1007/s10601-024-09377-4

#ConstraintProgramming
#OpenAccess
#OpenScience
#AI
#DeepLearning
#ML
#HumpDay

link.springer.comHome | SpringerLinkProviding access to millions of research articles and chapters from Science, Technology and Medicine, and Humanities and Social Sciences

Happy Monday everyone!

Here's something to brighten up the start of your week: a paper about solving mathemusical problems with ILP and SAT, from our latest issue:

Computing aperiodic tiling rhythmic canons via SAT models
link.springer.com/article/10.1

To make this Monday extra sweet: the authors use MapleSAT!

#Mathematics
#Music
#ConstraintProgramming
#AI
#Rhythm
#AcademicMastodon
#BooleanSatisfiability
#AperiodicTiling
#MapleSAT
#ILP
#CombinatorialAlgorithms
#ArtificialIntelligence

SpringerLinkComputing aperiodic tiling rhythmic canons via SAT models - ConstraintsIn Mathematical Music theory, the Aperiodic Tiling Complements Problem consists in finding all the possible aperiodic complements of a given rhythm A. The complexity of this problem depends on the size of the period n of the canon and on the cardinality of the given rhythm A. The current state-of-the-art algorithms can solve instances with n smaller than $$\varvec{180}$$ 180 . In this paper, we propose an ILP formulation and a SAT Encoding to solve this mathemusical problem, and we use the Maplesat solver to enumerate all the aperiodic complements. We then enhance the SAT model in two different ways. First, we enforce the SAT model with a set of clauses that retrieves the solutions up to translation. Second, we propose a decomposition of the solution space that allows to parallelize the resolution of the problem. We validate our different models using several different periods and rhythms and we compute for the first time the complete list of aperiodic tiling complements of standard Vuza rhythms for canons with period $$\varvec{n} = \varvec{\left\{ 180, 420, 900 \right\} }$$ n = 180 , 420 , 900 .