×

Found 8 Documents (Results 1–8)

Single-facility scheduling over long time horizons by logic-based Benders decomposition. (English) Zbl 1285.68154

Lodi, Andrea (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 7th international conference, CPAIOR 2010, Bologna, Italy, June 14–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13519-4/pbk). Lecture Notes in Computer Science 6140, 87-91 (2010).
MSC:  68T20 90B35 90C11
PDFBibTeX XMLCite
Full Text: DOI Link

Duality in optimization and constraint satisfaction. (English) Zbl 1177.68188

Beck, J. Christopher (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. Third international conference, CPAIOR 2006, Cork, Ireland, May 31 – June 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34306-7/pbk). Lecture Notes in Computer Science 3990, 3-15 (2006).
MSC:  68T20 90C05 90C27
PDFBibTeX XMLCite
Full Text: DOI

A search-infer-and-relax framework for integrating solution methods. (English) Zbl 1133.68430

Barták, Roman (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems.; Second international conference, CPAIOR 2005, Prague, Czech Republic, May 31 – June 1, 2005. Refereed proceedings. Berlin: Springer (ISBN 978-3-540-26152-0/pbk). Lecture Notes in Computer Science 3524, 243-257 (2005).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI Link

SIMPL: A system for integrating optimization techniques. (English) Zbl 1094.68636

Régin, Jean-Charles (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. First international conference, CPAIOR 2004, Nice, France, April 20–22, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21836-X/pbk). Lecture Notes in Computer Science 3011, 21-36 (2004).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

Constraint satisfaction methods for generating valid cuts. (English) Zbl 0891.68105

Woodruff, David L. (ed.), Advances in computational and stochastic optimization, logic programming, and heuristic search. Interfaces in computer science and operations research. 6th conference of the Computer Science Technical Section of INFORMS, January 7–9, 1998, Carmel, CA, USA. Boston: Kluwer Academic Publishers. Oper. Res./Comput. Sci. Interfaces Ser. 9, 1-30 (1998).
MSC:  68T20
PDFBibTeX XMLCite

Branching rules for satisfiability (extended abstract). (English) Zbl 1044.68766

Thiagarajan, P. S. (ed.), Foundations of software technology and theoretical computer science. 14th conference, Madras, India, December 15-17, 1994. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-58715-2 /SC). Lect. Notes Comput. Sci. 880, 426-437 (1994).
MSC:  68T20
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software