Groups keyboard shortcuts have been updated

Dismiss

See shortcuts

Constraints

1–30 of 440

Welcome to the new constraints group, which replaces the former Yahoo constraints group.

You are welcome to post messages that disseminate announcements and to raise and discuss issues concerning the constraint solving community.

0 selected

Ciaran McCreesh

4:28 AM

Lecturer / Senior Lecturer / Reader in Foundational AI at the University of Glasgow

Dear all, The University of Glasgow is looking to recruit a lecturer / senior lecturer / reader in

unread,

Lecturer / Senior Lecturer / Reader in Foundational AI at the University of Glasgow

Dear all, The University of Glasgow is looking to recruit a lecturer / senior lecturer / reader in

4:28 AM

Eugene Freuder2

Mar 23

Colorful Queens

Another CP attack on the Colorful Queens: https://www.linkedin.com/pulse/fun-linkedin-queens-

unread,

Colorful Queens

Another CP attack on the Colorful Queens: https://www.linkedin.com/pulse/fun-linkedin-queens-

Mar 23

Eugene Freuder

Mar 23

Fwd: [ISC 2025] Intelligent Systems & Decision Making: Humans Insights in the Era of AI @ Catania, Italy

Looks like this might be an appropriate community for CP to have a presence in. Anyone have any

unread,

Fwd: [ISC 2025] Intelligent Systems & Decision Making: Humans Insights in the Era of AI @ Catania, Italy

Looks like this might be an appropriate community for CP to have a presence in. Anyone have any

Mar 23

Mikoláš Janota2

Mar 22

CfP: 15th International Workshop on Pragmatics of SAT (PoS 2025)

Dear all, We are extending the fast track to also include CP, ie, papers that do not make it to CP

unread,

CfP: 15th International Workshop on Pragmatics of SAT (PoS 2025)

Dear all, We are extending the fast track to also include CP, ie, papers that do not make it to CP

Mar 22

Eugene Freuder

Mar 19

AAAI Student Committee

Passing this along to encourage applicants: "To increase involvement from AAAI's student

unread,

AAAI Student Committee

Passing this along to encourage applicants: "To increase involvement from AAAI's student

Mar 19

Jeremias Berg2

Mar 19

Second call for papers for SAT 2025

Dear all Due to numerous requests, we have decided to extend the deadline for SAT 2025. We hope the

unread,

Second call for papers for SAT 2025

Dear all Due to numerous requests, we have decided to extend the deadline for SAT 2025. We hope the

Mar 19

Ciaran McCreesh

Mar 19

CP 2025 Call for Papers -- Deadline Extension

Dear colleagues, As some of you have requested, the program chair has extended the deadline for CP

unread,

CP 2025 Call for Papers -- Deadline Extension

Dear colleagues, As some of you have requested, the program chair has extended the deadline for CP

Mar 19

Jakob Nordström

Mar 15

Pseudo-Boolean Competition 2025: Call for participation

Dear colleagues, This is just to announce that the Pseudo-Boolean Competition 2025 (https://www.cril.

unread,

Pseudo-Boolean Competition 2025: Call for participation

Dear colleagues, This is just to announce that the Pseudo-Boolean Competition 2025 (https://www.cril.

Mar 15

Ciaran McCreesh

Mar 14

CP 2025: Second Call for Papers and Workshops

Second Call for Papers and Workshops -- Deadlines Approaching Thirty First Conference on Principles

unread,

CP 2025: Second Call for Papers and Workshops

Second Call for Papers and Workshops -- Deadlines Approaching Thirty First Conference on Principles

Mar 14

Hana Rudova

Mar 12

SoCS 2025: Deadline Extension

Last Call for Papers with Deadline Extension SoCS 2025 The 18th International Symposium on

unread,

SoCS 2025: Deadline Extension

Last Call for Papers with Deadline Extension SoCS 2025 The 18th International Symposium on

Mar 12

Eugene Freuder

Mar 7

AIJ Awards

Passing this along. -- Gene The AI Journal is pleased to announce two awards for papers published in

unread,

AIJ Awards

Passing this along. -- Gene The AI Journal is pleased to announce two awards for papers published in

Mar 7

Vienna Center for Logic and Algorithms

Mar 6

Second Call for Applications - Cluster of Excellence "Bilateral AI"

Cluster of Excellence Bilateral Artificial Intelligence: Discovering the Next Dimension of AI Second

unread,

Second Call for Applications - Cluster of Excellence "Bilateral AI"

Cluster of Excellence Bilateral Artificial Intelligence: Discovering the Next Dimension of AI Second

Mar 6

Mohamed SIALA

Mar 5

Diversity, Equity, and Inclusion (DEI) Scholarships at CP 2025

CP 2025 offers DEI scholarships to support individuals from underrepresented groups. These

unread,

Diversity, Equity, and Inclusion (DEI) Scholarships at CP 2025

CP 2025 offers DEI scholarships to support individuals from underrepresented groups. These

Mar 5

Ciaran McCreesh, Neil Yorke-Smith2

Mar 4

CP 2025 Call for Papers

*Postdoc in Applied Planning and Scheduling under Uncertainty* TU Delft, The Netherlands - deadline

unread,

CP 2025 Call for Papers

*Postdoc in Applied Planning and Scheduling under Uncertainty* TU Delft, The Netherlands - deadline

Mar 4

Zeynep Kiziltan

Mar 3

CP and SAT 2025: Call for Workshop Proposals

Thirty First Conference on Principles and Practice of Constraint Programming (CP 2025) and the Twenty

unread,

CP and SAT 2025: Call for Workshop Proposals

Thirty First Conference on Principles and Practice of Constraint Programming (CP 2025) and the Twenty

Mar 3

Ulrich Junker

Mar 3

M-PREF 2025 - 1st CALL FOR PAPERS

====================================================================== M-PREF 2025: 1st CALL FOR

unread,

M-PREF 2025 - 1st CALL FOR PAPERS

====================================================================== M-PREF 2025: 1st CALL FOR

Mar 3

Michele Lombardi

Mar 3

Beluga Airbus Competition

Dear AI sequential decision-making lovers, Still a little more than 1 month to go! This is a reminder

unread,

Beluga Airbus Competition

Dear AI sequential decision-making lovers, Still a little more than 1 month to go! This is a reminder

Mar 3

Maria Andreina Francisco

Feb 26

PhD Position in hybrid-AI methods for decision support in precision therapeutics for high-grade glioma

Dear CP colleagues, There is now an opportunity to apply for a PhD position with me in "Hybrid-

unread,

PhD Position in hybrid-AI methods for decision support in precision therapeutics for high-grade glioma

Dear CP colleagues, There is now an opportunity to apply for a PhD position with me in "Hybrid-

Feb 26

Hana Rudova

Feb 24

SoCS 2025: 2nd Call for Papers

2nd Call for Papers SoCS 2025 The 18th International Symposium on Combinatorial Search https://socs25

unread,

SoCS 2025: 2nd Call for Papers

2nd Call for Papers SoCS 2025 The 18th International Symposium on Combinatorial Search https://socs25

Feb 24

Eugene Freuder

Feb 20

AAAI 2025 CPML Bridge Schedule

The AAAI 2025 CPML Bridge schedule is available. Some links to papers/videos are posted, more will be

unread,

AAAI 2025 CPML Bridge Schedule

The AAAI 2025 CPML Bridge schedule is available. Some links to papers/videos are posted, more will be

Feb 20

Ciaran McCreesh

Feb 12

CP 2025: Call for Papers, Workshops, and Tutorials -- Submissions now open

Dear all, Submissions are now open for papers, workshops, and tutorials for CP 2025. For full details

unread,

CP 2025: Call for Papers, Workshops, and Tutorials -- Submissions now open

Dear all, Submissions are now open for papers, workshops, and tutorials for CP 2025. For full details

Feb 12

Jason Nguyen

Feb 11

Call for Problem Submission for the MiniZinc Challenge 2025

The MiniZinc Challenge is an annual solver competition in the Constraint Programming (CP) community

unread,

Call for Problem Submission for the MiniZinc Challenge 2025

The MiniZinc Challenge is an annual solver competition in the Constraint Programming (CP) community

Feb 11

Gerhard Friedrich

Feb 7

Open Position, PreDoc, Cluster of Excellence “Bilateral AI”

The University of Klagenfurt, with approximately 1500 employees and over 12000 students, is located

unread,

Open Position, PreDoc, Cluster of Excellence “Bilateral AI”

The University of Klagenfurt, with approximately 1500 employees and over 12000 students, is located

Feb 7

Eugene Freuder

Jan 30

Reminder: JAIR Special Track on Constraint Programming and Machine Learning

JAIR Special Track on Constraint Programming and Machine Learning JAIR special tracks have a

unread,

Reminder: JAIR Special Track on Constraint Programming and Machine Learning

JAIR Special Track on Constraint Programming and Machine Learning JAIR special tracks have a

Jan 30

Anna Latour

Jan 30

Constraints Journal Volume 29, Issue 3-4 out now!

Please find the latest issue of the Constraints Journal here: https://link.springer.com/journal/10601

unread,

Constraints Journal Volume 29, Issue 3-4 out now!

Please find the latest issue of the Constraints Journal here: https://link.springer.com/journal/10601

Jan 30

Eugene Freuder

Jan 22

Constraints journal: Receive the table of contents of new issues

Please note that it is possible to "Sign up to receive the table of contents of a new issue for

unread,

Constraints journal: Receive the table of contents of new issues

Please note that it is possible to "Sign up to receive the table of contents of a new issue for

Jan 22

Ciaran McCreesh

Jan 20

CP and SAT 2025: Call for Workshop Proposals

Call for Workshop Proposals Thirty First Conference on Principles and Practice of Constraint

unread,

CP and SAT 2025: Call for Workshop Proposals

Call for Workshop Proposals Thirty First Conference on Principles and Practice of Constraint

Jan 20

Bart Bogaerts

Jan 20

PhD and Postdoc positions (at KU Leuven) with focus on Proof Logging (Certified Solving) and/or Explanations for Combinatorial Optimization

Dear Colleagues, There are a couple of positions open in my group focussing on proof logging and/or

unread,

PhD and Postdoc positions (at KU Leuven) with focus on Proof Logging (Certified Solving) and/or Explanations for Combinatorial Optimization

Dear Colleagues, There are a couple of positions open in my group focussing on proof logging and/or

Jan 20

Jakob Nordström

Jan 12

Danish Data Science Academy postdoc and PhD positions (deadline March 5, 2025)

Dear colleagues, I would be most grateful for any assistance in distributing the information below

unread,

Danish Data Science Academy postdoc and PhD positions (deadline March 5, 2025)

Dear colleagues, I would be most grateful for any assistance in distributing the information below

Jan 12

Jakob Nordström

Jan 9

Call for papers for SAT 2025

Dear colleagues, With apologies for any multiple copies, this message is to make you aware of the

unread,

Call for papers for SAT 2025

Dear colleagues, With apologies for any multiple copies, this message is to make you aware of the

Jan 9