×

Found 138 Documents (Results 1–100)

Exact and approximation algorithms for the multi-depot data mule scheduling with handling time and time span constraints. (English) Zbl 07914061

Wu, Weili (ed.) et al., Combinatorial optimization and applications. 16th international conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14461, 129-140 (2024).
MSC:  90C27
Full Text: DOI

Comparison of constraint-handling techniques used in artificial bee colony algorithm for auto-tuning of state feedback speed controller for PMSM. (English) Zbl 1530.93133

Madani, Kurosh (ed.) et al., ICINCO 2018. Proceedings of the 15th international conference on informatics in control, automation and robotics, Porto, Portugal, July 29–31, 2018. In 2 volumes. Setúbal: SCITEPRESS – Science and Technology Publications. 269-276, Vol. 1 (2018).
MSC:  93B52 90C59
Full Text: DOI

CHR for social responsibility. (English) Zbl 1281.90020

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 370-380, electronic only (2012).
MSC:  90B50 68N17
Full Text: DOI

Visualization of CHR through source-to-source transformation. (English) Zbl 1281.68059

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 109-118, electronic only (2012).
MSC:  68N17 68R10
Full Text: DOI

A transformational approach for proving properties of the CHR constraint store. (English) Zbl 1284.68118

De Schreye, Danny (ed.), Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-12591-1/pbk). Lecture Notes in Computer Science 6037, 22-36 (2010).
MSC:  68N17 68N30

Outer branching: how to optimize under partial orders? (English) Zbl 1176.90520

Barichard, Vincent (ed.) et al., Multiobjective programming and goal programming. Theoretical results and practical applications. Selected papers based on the presentations at the international conference on multiobjective programming and goal programming (MOP/GP 2006), Tours, France, June 12–14, 2006. Berlin: Springer (ISBN 978-3-540-85645-0/pbk; 978-3-540-85646-7/ebook). Lecture Notes in Economics and Mathematical Systems 618, 99-109 (2009).
MSC:  90C27
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software