Díaz-del-Río, Fernando; Molina-Abril, Helena; Real, Pedro; Onchis, Darian; Blanco-Trejo, Sergio Parallel homological calculus for 3D binary digital images. (English) Zbl 07802497 Ann. Math. Artif. Intell. 92, No. 1, 77-113 (2024). MSC: 62H35 68W10 68Q10 PDFBibTeX XMLCite \textit{F. Díaz-del-Río} et al., Ann. Math. Artif. Intell. 92, No. 1, 77--113 (2024; Zbl 07802497) Full Text: DOI OA License
Qiao, Wen-Bao; Créput, Jean-Charles Multiple \(k\)-opt evaluation multiple \(k\)-opt moves with GPU high performance local search to large-scale traveling salesman problems. (English) Zbl 1444.68174 Ann. Math. Artif. Intell. 88, No. 4, 347-365 (2020). MSC: 68T20 68W10 90C27 90C59 PDFBibTeX XMLCite \textit{W.-B. Qiao} and \textit{J.-C. Créput}, Ann. Math. Artif. Intell. 88, No. 4, 347--365 (2020; Zbl 1444.68174) Full Text: DOI
Gaudrie, David; Le Riche, Rodolphe; Picheny, Victor; Enaux, Benoît; Herbert, Vincent Targeting solutions in Bayesian multi-objective optimization: sequential and batch versions. (English) Zbl 1432.90138 Ann. Math. Artif. Intell. 88, No. 1-3, 187-212 (2020). MSC: 90C29 62F15 65K05 PDFBibTeX XMLCite \textit{D. Gaudrie} et al., Ann. Math. Artif. Intell. 88, No. 1--3, 187--212 (2020; Zbl 1432.90138) Full Text: DOI arXiv
Ferrarotti, Flavio; Schewe, Klaus-Dieter; Tec, Loredana; Wang, Qing A unifying logic for non-deterministic, parallel and concurrent abstract state machines. (English) Zbl 1459.03033 Ann. Math. Artif. Intell. 83, No. 3-4, 321-349 (2018). MSC: 03B70 68Q04 68Q10 68Q85 PDFBibTeX XMLCite \textit{F. Ferrarotti} et al., Ann. Math. Artif. Intell. 83, No. 3--4, 321--349 (2018; Zbl 1459.03033) Full Text: DOI arXiv
Krajca, Petr; Outrata, Jan; Vychodil, Vilem Parallel algorithm for computing fixpoints of Galois connections. (English) Zbl 1213.68604 Ann. Math. Artif. Intell. 59, No. 2, 257-272 (2010). MSC: 68T30 06A15 68W10 PDFBibTeX XMLCite \textit{P. Krajca} et al., Ann. Math. Artif. Intell. 59, No. 2, 257--272 (2010; Zbl 1213.68604) Full Text: DOI
Bonacina, Maria Paola A taxonomy of parallel strategies for deduction. (English) Zbl 1001.68124 Ann. Math. Artif. Intell. 29, No. 1-4, 223-257 (2000). MSC: 68T15 68W10 68P10 PDFBibTeX XMLCite \textit{M. P. Bonacina}, Ann. Math. Artif. Intell. 29, No. 1--4, 223--257 (2000; Zbl 1001.68124) Full Text: DOI
Davydov, Gennady; Davydova, Inna; Büning, Hans Kleine An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. (English) Zbl 0913.68090 Ann. Math. Artif. Intell. 23, No. 3-4, 229-245 (1998). MSC: 68W10 PDFBibTeX XMLCite \textit{G. Davydov} et al., Ann. Math. Artif. Intell. 23, No. 3--4, 229--245 (1998; Zbl 0913.68090) Full Text: DOI
Gasarch, William; Pleszkoch, Mark G.; Stephan, Frank; Velauthapillai, Mahendran Classification using information. (English) Zbl 0912.68182 Ann. Math. Artif. Intell. 23, No. 1-2, 147-168 (1998). MSC: 68T05 68W10 PDFBibTeX XMLCite \textit{W. Gasarch} et al., Ann. Math. Artif. Intell. 23, No. 1--2, 147--168 (1998; Zbl 0912.68182) Full Text: DOI
Grandjean, Etienne Sorting, linear time and the satisfiability problem. (English) Zbl 0860.68035 Ann. Math. Artif. Intell. 16, No. 1-4, 183-236 (1996). MSC: 68P10 68W10 PDFBibTeX XMLCite \textit{E. Grandjean}, Ann. Math. Artif. Intell. 16, No. 1--4, 183--236 (1996; Zbl 0860.68035) Full Text: DOI
Jiang, X. Y.; Bunke, H. Optimal implementation of morphological operations on neighborhood-connected parallel computers. (English) Zbl 0855.68118 Ann. Math. Artif. Intell. 13, No. 3-4, 301-315 (1995). MSC: 68U10 68M99 PDFBibTeX XMLCite \textit{X. Y. Jiang} and \textit{H. Bunke}, Ann. Math. Artif. Intell. 13, No. 3--4, 301--315 (1995; Zbl 0855.68118) Full Text: DOI
Webber, Adam Brooks Proof of the interval satisfiability conjecture. (English) Zbl 0868.68063 Ann. Math. Artif. Intell. 15, No. 2, 231-238 (1995). MSC: 68W10 PDFBibTeX XMLCite \textit{A. B. Webber}, Ann. Math. Artif. Intell. 15, No. 2, 231--238 (1995; Zbl 0868.68063) Full Text: DOI
Rymon, Ron An SE-tree-based prime implicant generation algorithm. (English) Zbl 0861.68033 Ann. Math. Artif. Intell. 11, No. 1-4, 351-365 (1994). MSC: 68W10 PDFBibTeX XMLCite \textit{R. Rymon}, Ann. Math. Artif. Intell. 11, No. 1--4, 351--365 (1994; Zbl 0861.68033) Full Text: DOI
Vose, Michael D. A closer look at mutation in genetic algorithms. (English) Zbl 0857.68048 Ann. Math. Artif. Intell. 10, No. 4, 423-434 (1994). MSC: 68W10 PDFBibTeX XMLCite \textit{M. D. Vose}, Ann. Math. Artif. Intell. 10, No. 4, 423--434 (1994; Zbl 0857.68048) Full Text: DOI
Koehler, Gary J. A proof of the Vose-Liepins conjecture. (English) Zbl 0857.68047 Ann. Math. Artif. Intell. 10, No. 4, 409-422 (1994). MSC: 68W10 PDFBibTeX XMLCite \textit{G. J. Koehler}, Ann. Math. Artif. Intell. 10, No. 4, 409--422 (1994; Zbl 0857.68047) Full Text: DOI
Deb, Kalyanmoy; Goldberg, David E. Sufficient conditions for deceptive and easy binary functions. (English) Zbl 0855.68033 Ann. Math. Artif. Intell. 10, No. 4, 385-408 (1994). MSC: 68W10 PDFBibTeX XMLCite \textit{K. Deb} and \textit{D. E. Goldberg}, Ann. Math. Artif. Intell. 10, No. 4, 385--408 (1994; Zbl 0855.68033) Full Text: DOI
Radcliffe, Nicholas J. The algebra of genetic algorithms. (English) Zbl 0855.68034 Ann. Math. Artif. Intell. 10, No. 4, 339-384 (1994). MSC: 68W10 PDFBibTeX XMLCite \textit{N. J. Radcliffe}, Ann. Math. Artif. Intell. 10, No. 4, 339--384 (1994; Zbl 0855.68034) Full Text: DOI
Whitley, Darrell; Das, Rajarshi; Crabb, Curtis Tracking primary hyperplane competitors during genetic search. (English) Zbl 0874.68137 Ann. Math. Artif. Intell. 6, No. 4, 367-388 (1992). MSC: 68W10 68P10 PDFBibTeX XMLCite \textit{D. Whitley} et al., Ann. Math. Artif. Intell. 6, No. 4, 367--388 (1992; Zbl 0874.68137) Full Text: DOI
Wilfong, Gordon Motion planning in the presence of movable obstacles. (English) Zbl 0875.68766 Ann. Math. Artif. Intell. 3, No. 1, 131-150 (1991). MSC: 68T20 68W10 68U99 PDFBibTeX XMLCite \textit{G. Wilfong}, Ann. Math. Artif. Intell. 3, No. 1, 131--150 (1991; Zbl 0875.68766) Full Text: DOI
Sharir, Micha; Sifrony, Shmuel Coordinated motion planning for two independent robots. (English) Zbl 0875.68438 Ann. Math. Artif. Intell. 3, No. 1, 107-130 (1991). MSC: 68W10 68U99 PDFBibTeX XMLCite \textit{M. Sharir} and \textit{S. Sifrony}, Ann. Math. Artif. Intell. 3, No. 1, 107--130 (1991; Zbl 0875.68438) Full Text: DOI
Wang, Jinchang; Vande Vate, John Question-asking strategies for Horn clause systems. (English) Zbl 0875.68805 Ann. Math. Artif. Intell. 1, No. 1-4, 359-370 (1990). MSC: 68T35 68W10 PDFBibTeX XMLCite \textit{J. Wang} and \textit{J. Vande Vate}, Ann. Math. Artif. Intell. 1, No. 1--4, 359--370 (1990; Zbl 0875.68805) Full Text: DOI
Jaumard, Brigitte; Marchioro, Paola; Morgana, Aurora; Petreschi, Rossella; Simeone, Bruno On-line 2-satisfiability. (English) Zbl 0875.68437 Ann. Math. Artif. Intell. 1, No. 1-4, 155-165 (1990). MSC: 68W10 PDFBibTeX XMLCite \textit{B. Jaumard} et al., Ann. Math. Artif. Intell. 1, No. 1--4, 155--165 (1990; Zbl 0875.68437) Full Text: DOI