Constraints - Google Groups

1–30 of 635

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

Jip Dekker, Toshimitsu Fujiwara3

3:40 AM

Saddle up — the MiniZinc Derby is coming to CP!

I'm glad to hear you enjoyed it! The link has been adjusted in the system, sorry for the

unread,

Saddle up — the MiniZinc Derby is coming to CP!

I'm glad to hear you enjoyed it! The link has been adjusted in the system, sorry for the

3:40 AM

Serdar Kadioglu

Jul 21

Text2Model Release

Hello everyone, It is my pleasure to announce the release of Text2Model available via `pip install

unread,

Text2Model Release

Hello everyone, It is my pleasure to announce the release of Text2Model available via `pip install

Jul 21

Tias Guns

Jul 19

CPMpy v1.0.0 released

Just in time for CP/SAT/FLOC I'm super proud to announce that we released v1.0.0 of CPMpy: https:

unread,

CPMpy v1.0.0 released

Just in time for CP/SAT/FLOC I'm super proud to announce that we released v1.0.0 of CPMpy: https:

Jul 19

Bart Bogaerts

Jul 15

PhD and Postdoc Positions at KU Leuven

There are open positions in my research group for working in general on combinatorial search and

unread,

PhD and Postdoc Positions at KU Leuven

There are open positions in my research group for working in general on combinatorial search and

Jul 15

Eugene Freuder

Jul 9

An opportunity to do good

I'd like to draw your attention to the message below from AAAI, encouraging AAAI members to

unread,

An opportunity to do good

I'd like to draw your attention to the message below from AAAI, encouraging AAAI members to

Jul 9

Eugene Freuder

Jul 9

IFORS session

For anyone headed to IFORS, I recommend this session: Monday, 16:15-17:45 Room: JUR – U 22 Stream:

unread,

IFORS session

For anyone headed to IFORS, I recommend this session: Monday, 16:15-17:45 Room: JUR – U 22 Stream:

Jul 9

Eugene Freuder, … Peter Nightingale8

Jul 9

Regarding the ACP Vote on Whether to Change the "ACP Publishing Model"

Hi everyone, The length of CP conference papers has increased recently, and I wonder whether this has

unread,

Regarding the ACP Vote on Whether to Change the "ACP Publishing Model"

Hi everyone, The length of CP conference papers has increased recently, and I wonder whether this has

Jul 9

Jakob Nordström

Jul 7

Call for participation: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, We would like to invite you to participate in the 3rd International Workshop on

unread,

Call for participation: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, We would like to invite you to participate in the 3rd International Workshop on

Jul 7

Simon de Givry

Jul 7

2-year postdoc position on crop planning optimization in Toulouse, France

The following postdoc position is available at INRAE. Dealing with Uncertainty in Crop Planning

unread,

2-year postdoc position on crop planning optimization in Toulouse, France

The following postdoc position is available at INRAE. Dealing with Uncertainty in Crop Planning

Jul 7

Miquel Bofill

Jul 3

2026 ACP Quarterly Report 2

Dear Constraints Community, The 2026 ACP Quarterly Report 2 is available at https://www.a4cp.org/

unread,

2026 ACP Quarterly Report 2

Dear Constraints Community, The 2026 ACP Quarterly Report 2 is available at https://www.a4cp.org/

Jul 3

Hélène Verhaeghe

Jun 30

Call for bid for the ACP summer school 2027

Dear CP community, The Association for Constraint Programming invites proposals for organizing the

unread,

Call for bid for the ACP summer school 2027

Dear CP community, The Association for Constraint Programming invites proposals for organizing the

Jun 30

Eugene Freuder

Jun 28

New Constraints Journal Editor-in-Chief

As one of the Outreach Editors for the Constraints journal, I would like to announce our new Editor-

unread,

New Constraints Journal Editor-in-Chief

As one of the Outreach Editors for the Constraints journal, I would like to announce our new Editor-

Jun 28

Jimmy Lee

Jun 23

Financial Support for ACP Summer School 2026 in Changchun, China, August 24-28, 2026

Registration for the ACP Summer School 2026 is now open. A limited number of scholarships are

unread,

Financial Support for ACP Summer School 2026 in Changchun, China, August 24-28, 2026

Registration for the ACP Summer School 2026 is now open. A limited number of scholarships are

Jun 23

Eugene Freuder4

Jun 18

Nominations for Constraints Journal Awards 2026

Last few days to nominate papers for the 2026 Constraints Journal Awards! Participate in this

unread,

Nominations for Constraints Journal Awards 2026

Last few days to nominate papers for the 2026 Constraints Journal Awards! Participate in this

Jun 18

Sylvie Thiebaux

Jun 18

2-year Postdoc / 3-year PhD in learning for planning and scheduling

The following postdoc or PhD position is available at LAAS-CNRS. Hybrid methods (combining learning

unread,

2-year Postdoc / 3-year PhD in learning for planning and scheduling

The following postdoc or PhD position is available at LAAS-CNRS. Hybrid methods (combining learning

Jun 18

Sylvie Thiebaux

Jun 17

CIFRE PhD at Airbus & CNRS

A PhD position is available at Airbus & LAAS-CNRS Toulouse on the topic: Explainable and AI-based

unread,

CIFRE PhD at Airbus & CNRS

A PhD position is available at Airbus & LAAS-CNRS Toulouse on the topic: Explainable and AI-based

Jun 17

Eugene Freuder

Jun 15

Funding Opportunities for Promoting AI Research

Just passing this along: Funding Opportunities for Promoting AI Research Deadline: July 15th, 2026

unread,

Funding Opportunities for Promoting AI Research

Just passing this along: Funding Opportunities for Promoting AI Research Deadline: July 15th, 2026

Jun 15

steven kelk

May 31

white paper on deep integration of ILP and LLMs by Gurobi (also relevant to CP)

Hi everyone, This is a copy of a short message I placed on Mathstodon about a new white paper by

unread,

white paper on deep integration of ILP and LLMs by Gurobi (also relevant to CP)

Hi everyone, This is a copy of a short message I placed on Mathstodon about a new white paper by

May 31

Eugene Freuder4

May 22

Anniversary

Well the 4CI-Anniversary Group has 10 members so far, but surely there are more of you out there to

unread,

Anniversary

Well the 4CI-Anniversary Group has 10 members so far, but surely there are more of you out there to

May 22

Eugene Freuder

May 21

Fwd: 2026 Fall Symposium Series - Call for Proposals

Dear AAAI Members and Affiliates, This is a friendly reminder that proposals for the 2026 AAAI Fall

unread,

Fwd: 2026 Fall Symposium Series - Call for Proposals

Dear AAAI Members and Affiliates, This is a friendly reminder that proposals for the 2026 AAAI Fall

May 21

Eugene Freuder

May 21

Constraints journal

Congratulations to those whose papers were accepted for CP, CPAIOR and IJCAI-ECAI. I encourage you to

unread,

Constraints journal

Congratulations to those whose papers were accepted for CP, CPAIOR and IJCAI-ECAI. I encourage you to

May 21

Tias Guns, … Eugene Freuder6

May 20

joining forces on natural language formulations and evaluations

I like Jean-Charles' analogy to a Master's student. I'm beginning to regard them as grad

unread,

joining forces on natural language formulations and evaluations

I like Jean-Charles' analogy to a Master's student. I'm beginning to regard them as grad

May 20

Andrew Cropper

May 20

PhD position in Logic/learning/solving at the University of Helsinki

I am recruiting a 4-year PhD student to work on logical reasoning and machine learning. The focus is

unread,

PhD position in Logic/learning/solving at the University of Helsinki

I am recruiting a 4-year PhD student to work on logical reasoning and machine learning. The focus is

May 20

Federica Di Stefano

May 19

[CfP] Networking Session @ RuleML+RR 2026

Call for Papers: ******************************************************** *** Networking Session @

unread,

[CfP] Networking Session @ RuleML+RR 2026

Call for Papers: ******************************************************** *** Networking Session @

May 19

Federica Di Stefano

May 19

[CfP] Industry Track @ RuleML+RR 2026

Call for papers ************************************** *** Industry Track @ RuleML+RR 2026 *** *** 24

unread,

[CfP] Industry Track @ RuleML+RR 2026

Call for papers ************************************** *** Industry Track @ RuleML+RR 2026 *** *** 24

May 19

Federica Di Stefano

May 19

[CfP] Doctoral Consortium @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

unread,

[CfP] Doctoral Consortium @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

May 19

Federica Di Stefano

May 19

[CfP] Rule Challenge @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

unread,

[CfP] Rule Challenge @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

May 19

Jip Dekker

May 14

Announcement: Huub v100.0.0 – an extensible LCG solver in Rust

Dear Constraints community, I am excited to announce the first public release of Huub, an extensible

unread,

Announcement: Huub v100.0.0 – an extensible LCG solver in Rust

Dear Constraints community, I am excited to announce the first public release of Huub, an extensible

May 14

Nguyen Dang

May 13

[Final Call for Papers] ML4SP @ FLoC 2026 - Deadline May 15 (Submission system fixed!)

Dear colleagues, This is a quick final reminder that the submission deadline for the 2nd Workshop on

unread,

[Final Call for Papers] ML4SP @ FLoC 2026 - Deadline May 15 (Submission system fixed!)

Dear colleagues, This is a quick final reminder that the submission deadline for the 2nd Workshop on

May 13

Federica Di Stefano

May 11

[Call for Applications] Grants for the Reasoning Web Summer School @ Declarative AI

Call for Applications for Grants Reasoning Web Summer School – Part of Declarative AI 2026 27–30

unread,

[Call for Applications] Grants for the Reasoning Web Summer School @ Declarative AI

Call for Applications for Grants Reasoning Web Summer School – Part of Declarative AI 2026 27–30

May 11