Stojanović, Tatjana; Ikodinović, Nebojša; Davidović, Tatjana; Ognjanović, Zoran Automated non-monotonic reasoning in System P. (English) Zbl 1496.68341 Ann. Math. Artif. Intell. 89, No. 5-6, 471-509 (2021). MSC: 68T37 68T27 90C59 PDFBibTeX XMLCite \textit{T. Stojanović} et al., Ann. Math. Artif. Intell. 89, No. 5--6, 471--509 (2021; Zbl 1496.68341) Full Text: DOI
Hansen, Pierre; Mladenović, Nenad; Moreno Pérez, José A. Variable neighbourhood search: methods and applications. (English) Zbl 1185.90211 Ann. Oper. Res. 175, 367-407 (2010). MSC: 90C59 PDFBibTeX XMLCite \textit{P. Hansen} et al., Ann. Oper. Res. 175, 367--407 (2010; Zbl 1185.90211) Full Text: DOI
Hansen, Pierre; Mladenović, Nenad; Moreno Pérez, José A. Variable neighbourhood search: Methods and applications. (English) Zbl 1179.90332 4OR 6, No. 4, 319-360 (2008). MSC: 90C59 68T20 68W25 PDFBibTeX XMLCite \textit{P. Hansen} et al., 4OR 6, No. 4, 319--360 (2008; Zbl 1179.90332) Full Text: DOI