Constraints Journal
constraintsjournal.bsky.social
Constraints Journal
@constraintsjournal.bsky.social
AI, automated reasoning, combinatorial algorithms, constraint programming, databases, discrete mathematics, operations research, programming languages, satisfiability and computational logic.
https://link.springer.com/journal/10601
1/ Don't forget to nominate papers for the Constraints Journal Prominent and Classic Paper Awards 2025 🏆

Nomination deadline: 31 May 2025, AoE.

More info in thread 👇

#BestPaperAward
#ConstraintProgramming
#AI
May 28, 2025 at 9:08 PM
1/7

🏆Call for Nominations: Constraints Journal Awards 2025 🏆

Recognising Excellence in Constraint Programming Research

Nomination deadline: 31 May 2025, AoE.

More info in thread 👇

#BestPaperAward
#ConstraintProgramming
#AI
May 15, 2025 at 3:12 PM
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):

www.a4cp.org/cj2

#ConstraintProgramming #ArtificialIntelligence
Constraints Journal | Association for Constraint Programming
www.a4cp.org
March 20, 2025 at 1:56 PM
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"
link.springer.com/article/10.1...

#OpenScience
#AI
#DeepLearning
Access research journals, articles, books and more | SpringerLink
Providing access to millions of research articles and chapters from Science, Technology and Medicine, and Humanities and Social Sciences
link.springer.com
February 5, 2025 at 9:00 AM
Here's something to brighten up your Monday: 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...

#Music #Mathematics #ConstraintProgramming
a cartoon of a cat wearing headphones with the words it 's monday below it
Alt: a cartoon of a cat wearing headphones with the words it 's monday below it
media.tenor.com
February 3, 2025 at 4:26 PM
The new issue of the Constraints Journal is out now! Head over to link.springer.com/journal/1060... to check it out!

#ConstraintProgramming #AI
Constraints | Volume 29, issue 3
Volume 29, issue 3 articles listing for Constraints
link.springer.com
January 30, 2025 at 8:41 AM
Dear all,

📓 This is the official account of the Constraints Journal (link.springer.com/journal/10601).

📣 We will use this account to notify you of new publications, extra materials, CfPs and special issues.

💬 We look forward to connecting with the CP community!

#ArtificialIntelligence
Constraints
This journal provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many ...
link.springer.com
January 23, 2025 at 10:49 AM