×

Found 114 Documents (Results 1–100)

Constraint propagation on GPU: a case study for the cumulative constraint. (English) Zbl 07745670

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 336-353 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI

A MinCumulative resource constraint. (English) Zbl 1502.90077

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 318-334 (2022).
MSC:  90B35 68T20 90C59
PDFBibTeX XMLCite
Full Text: DOI

SeaPearl: a constraint programming solver guided by reinforcement learning. (English) Zbl 07493642

Stuckey, Peter J. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 18th international conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12735, 392-409 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI arXiv

A worst-case analysis of constraint-based algorithms for exact multi-objective combinatorial optimization. (English) Zbl 1454.90074

Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 117-128 (2017).
MSC:  90C27 68W40 90C29
PDFBibTeX XMLCite
Full Text: DOI

Rescheduling railway traffic on real time situations using time-interval variables. (English) Zbl 1491.90081

Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 312-327 (2017).
MSC:  90B35
PDFBibTeX XMLCite
Full Text: DOI

On the scalability of constraint solving for static/off-line real-time scheduling. (English) Zbl 1465.68031

Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 108-123 (2015).
MSC:  68M20 68T20 90B35
PDFBibTeX XMLCite
Full Text: DOI HAL

Scheduling of tests on vehicle prototypes using constraint and integer programming. (English) Zbl 1209.90178

Kalcsics, Jörg (ed.) et al., Operations Research Proceedings 2007. Selected papers of the annual international conference of the German Operations Research Society (GOR), Saarbrücken, Germany, September 5–7, 2007. Berlin: Springer (ISBN 978-3-540-77902-5/pbk). 421-426 (2008).
MSC:  90B35 90B25 90C10
PDFBibTeX XMLCite
Full Text: DOI

A hybrid constraint programming / local search approach to the job-shop scheduling problem. (English) Zbl 1142.68527

Perron, Laurent (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 5th international conference, CPAIOR 2008 Paris, France, May 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68154-0/pbk). Lecture Notes in Computer Science 5015, 263-277 (2008).
MSC:  68T20 90B35
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software