Gurvich, Vladimir; Naumova, Mariya Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms. (English) Zbl 07802495 Ann. Math. Artif. Intell. 92, No. 1, 49-57 (2024). MSC: 91A43 05C65 PDFBibTeX XMLCite \textit{V. Gurvich} and \textit{M. Naumova}, Ann. Math. Artif. Intell. 92, No. 1, 49--57 (2024; Zbl 07802495) Full Text: DOI arXiv
Moshkov, Mikhail Time and space complexity of deterministic and nondeterministic decision trees. (English) Zbl 07644142 Ann. Math. Artif. Intell. 91, No. 1, 45-74 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Moshkov}, Ann. Math. Artif. Intell. 91, No. 1, 45--74 (2023; Zbl 07644142) Full Text: DOI arXiv
Ignatov, Dmitry I.; Kwuida, Léonard On Shapley value interpretability in concept-based learning with formal concept analysis. (English) Zbl 1511.68272 Ann. Math. Artif. Intell. 90, No. 11-12, 1197-1222 (2022). MSC: 68T30 68T05 PDFBibTeX XMLCite \textit{D. I. Ignatov} and \textit{L. Kwuida}, Ann. Math. Artif. Intell. 90, No. 11--12, 1197--1222 (2022; Zbl 1511.68272) Full Text: DOI
Eremeev, Anton V.; Kel’manov, Alexander V.; Kovalyov, Mikhail Y.; Pyatkin, Artem V. Selecting a subset of diverse points based on the squared Euclidean distance. (English) Zbl 1493.62380 Ann. Math. Artif. Intell. 90, No. 7-9, 965-977 (2022). MSC: 62H30 90C09 68W25 PDFBibTeX XMLCite \textit{A. V. Eremeev} et al., Ann. Math. Artif. Intell. 90, No. 7--9, 965--977 (2022; Zbl 1493.62380) Full Text: DOI
Chernykh, Ilya; Pyatkin, Artem Irreducible bin packing and normality in routing open shop. (English) Zbl 1476.90111 Ann. Math. Artif. Intell. 89, No. 8-9, 899-918 (2021). MSC: 90B35 05B40 PDFBibTeX XMLCite \textit{I. Chernykh} and \textit{A. Pyatkin}, Ann. Math. Artif. Intell. 89, No. 8--9, 899--918 (2021; Zbl 1476.90111) Full Text: DOI
Kel’manov, Alexander; Khamidullin, Sergey; Khandeev, Vladimir; Pyatkin, Artem Exact algorithms for two integer-valued problems of searching for the largest subset and longest subsequence. (English) Zbl 1431.90132 Ann. Math. Artif. Intell. 88, No. 1-3, 157-168 (2020). MSC: 90C27 68Q25 68T05 PDFBibTeX XMLCite \textit{A. Kel'manov} et al., Ann. Math. Artif. Intell. 88, No. 1--3, 157--168 (2020; Zbl 1431.90132) Full Text: DOI
Cabalar, Pedro; Costantini, Stefania; De Gasperis, Giovanni; Formisano, Andrea Multi-context systems in dynamic environments. (English) Zbl 1485.68246 Ann. Math. Artif. Intell. 86, No. 1-3, 87-120 (2019). MSC: 68T27 68T30 68T35 68T42 PDFBibTeX XMLCite \textit{P. Cabalar} et al., Ann. Math. Artif. Intell. 86, No. 1--3, 87--120 (2019; Zbl 1485.68246) Full Text: DOI arXiv
Biró, Péter; Fleiner, Tamás; Irving, Robert W. Matching couples with Scarf’s algorithm. (English) Zbl 1410.91353 Ann. Math. Artif. Intell. 77, No. 3-4, 303-316 (2016). MSC: 91B68 PDFBibTeX XMLCite \textit{P. Biró} et al., Ann. Math. Artif. Intell. 77, No. 3--4, 303--316 (2016; Zbl 1410.91353) Full Text: DOI Link
Dutt, Mousumi; Biswas, Arindam; Bhowmick, Partha; Bhattacharya, Bhargab B. On finding a shortest isothetic path and its monotonicity inside a digital object. (English) Zbl 1341.68292 Ann. Math. Artif. Intell. 75, No. 1-2, 27-51 (2015). MSC: 68U05 PDFBibTeX XMLCite \textit{M. Dutt} et al., Ann. Math. Artif. Intell. 75, No. 1--2, 27--51 (2015; Zbl 1341.68292) Full Text: DOI
Simon, Hans Ulrich PAC-learning in the presence of one-sided classification noise. (English) Zbl 1319.68122 Ann. Math. Artif. Intell. 71, No. 4, 283-300 (2014). MSC: 68Q32 68Q25 PDFBibTeX XMLCite \textit{H. U. Simon}, Ann. Math. Artif. Intell. 71, No. 4, 283--300 (2014; Zbl 1319.68122) Full Text: DOI
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. (English) Zbl 1357.68205 Ann. Math. Artif. Intell. 70, No. 4, 399-431 (2014). MSC: 68T20 68T05 68T27 PDFBibTeX XMLCite \textit{B. Dilkina} et al., Ann. Math. Artif. Intell. 70, No. 4, 399--431 (2014; Zbl 1357.68205) Full Text: DOI
Ryssel, Uwe; Distel, Felix; Borchmann, Daniel Fast algorithms for implication bases and attribute exploration using proper premises. (English) Zbl 1314.68305 Ann. Math. Artif. Intell. 70, No. 1-2, 25-53 (2014). MSC: 68T30 03G10 PDFBibTeX XMLCite \textit{U. Ryssel} et al., Ann. Math. Artif. Intell. 70, No. 1--2, 25--53 (2014; Zbl 1314.68305) Full Text: DOI
Schietgat, Leander; Ramon, Jan; Bruynooghe, Maurice A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics. (English) Zbl 1357.68184 Ann. Math. Artif. Intell. 69, No. 4, 343-376 (2013). MSC: 68T05 05C85 68W40 92E10 PDFBibTeX XMLCite \textit{L. Schietgat} et al., Ann. Math. Artif. Intell. 69, No. 4, 343--376 (2013; Zbl 1357.68184) Full Text: DOI Link
Bachrach, Yoram; Zuckerman, Michael; Wooldridge, Michael; Rosenschein, Jeffrey S. Proof systems and transformation games. (English) Zbl 1272.91022 Ann. Math. Artif. Intell. 67, No. 1, 1-30 (2013). MSC: 91A12 03F20 68Q25 PDFBibTeX XMLCite \textit{Y. Bachrach} et al., Ann. Math. Artif. Intell. 67, No. 1, 1--30 (2013; Zbl 1272.91022) Full Text: DOI Link
Confalonieri, Roberto; Nieves, Juan Carlos; Osorio, Mauricio; Vázquez-Salceda, Javier Dealing with explicit preferences and uncertainty in answer set programming. (English) Zbl 1258.68139 Ann. Math. Artif. Intell. 65, No. 2-3, 159-198 (2012). MSC: 68T27 68T30 68T37 68N17 PDFBibTeX XMLCite \textit{R. Confalonieri} et al., Ann. Math. Artif. Intell. 65, No. 2--3, 159--198 (2012; Zbl 1258.68139) Full Text: DOI
Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco On the relation among answer set solvers. (English) Zbl 1165.68333 Ann. Math. Artif. Intell. 53, No. 1-4, 169-204 (2008). MSC: 68N17 68T20 68T27 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Ann. Math. Artif. Intell. 53, No. 1--4, 169--204 (2008; Zbl 1165.68333) Full Text: DOI
Alexe, Gabriela; Alexe, Sorin; Bonates, Tibérius O.; Kogan, Alexander Logical analysis of data – the vision of Peter L. Hammer. (English) Zbl 1126.68064 Ann. Math. Artif. Intell. 49, No. 1-4, 265-312 (2007). MSC: 68T05 68T10 06E30 05A15 90C10 92C50 PDFBibTeX XMLCite \textit{G. Alexe} et al., Ann. Math. Artif. Intell. 49, No. 1--4, 265--312 (2007; Zbl 1126.68064) Full Text: DOI
Shen, Haiou; Zhang, Hantao Improving exact algorithms for MAX-2-SAT. (English) Zbl 1086.68058 Ann. Math. Artif. Intell. 44, No. 4, 419-436 (2005). MSC: 68Q25 68T20 68R10 PDFBibTeX XMLCite \textit{H. Shen} and \textit{H. Zhang}, Ann. Math. Artif. Intell. 44, No. 4, 419--436 (2005; Zbl 1086.68058) Full Text: DOI
Cocco, Simona; Monasson, Rémi Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT. (English) Zbl 1100.68576 Ann. Math. Artif. Intell. 43, No. 1-4, 153-172 (2005). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{S. Cocco} and \textit{R. Monasson}, Ann. Math. Artif. Intell. 43, No. 1--4, 153--172 (2005; Zbl 1100.68576) Full Text: DOI arXiv
Kusper, Gábor Solving the resolution-free SAT problem by submodel propagation in linear time. (English) Zbl 1099.68101 Ann. Math. Artif. Intell. 43, No. 1-4, 129-136 (2005). MSC: 68T20 68T27 PDFBibTeX XMLCite \textit{G. Kusper}, Ann. Math. Artif. Intell. 43, No. 1--4, 129--136 (2005; Zbl 1099.68101) Full Text: DOI
Bruni, Renato On exact selection of minimally unsatisfiable subformulae. (English) Zbl 1099.68105 Ann. Math. Artif. Intell. 43, No. 1-4, 35-50 (2005). MSC: 68T27 68Q25 68T15 68T20 PDFBibTeX XMLCite \textit{R. Bruni}, Ann. Math. Artif. Intell. 43, No. 1--4, 35--50 (2005; Zbl 1099.68105) 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
Böhm, Max; Speckenmeyer, Ewald A fast parallel SAT-solver – efficient workload balancing. (English) Zbl 0891.68096 Ann. Math. Artif. Intell. 17, No. 3-4, 381-400 (1996). MSC: 68T15 PDFBibTeX XMLCite \textit{M. Böhm} and \textit{E. Speckenmeyer}, Ann. Math. Artif. Intell. 17, No. 3--4, 381--400 (1996; Zbl 0891.68096) 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
Cox, James; Yap, Chee-Keng On-line motion planning: Case of a planar rod. (English) Zbl 0875.68767 Ann. Math. Artif. Intell. 3, No. 1, 1-20 (1991). MSC: 68T20 68U99 PDFBibTeX XMLCite \textit{J. Cox} and \textit{C.-K. Yap}, Ann. Math. Artif. Intell. 3, No. 1, 1--20 (1991; Zbl 0875.68767) Full Text: DOI
Lindenbaum, M.; Bruckstein, A. Reconstruction of polygonal sets by constrained and unconstrained double probing. (English) Zbl 1034.68561 Ann. Math. Artif. Intell. 4, No. 3-4, 345-362 (1991). MSC: 68U05 93C85 PDFBibTeX XMLCite \textit{M. Lindenbaum} and \textit{A. Bruckstein}, Ann. Math. Artif. Intell. 4, No. 3--4, 345--362 (1991; Zbl 1034.68561) Full Text: DOI
Amir, Amihood; Farach, Martin Efficient matching of nonrectangular shapes. (English) Zbl 1034.68537 Ann. Math. Artif. Intell. 4, No. 3-4, 211-224 (1991). MSC: 68T10 PDFBibTeX XMLCite \textit{A. Amir} and \textit{M. Farach}, Ann. Math. Artif. Intell. 4, No. 3--4, 211--224 (1991; Zbl 1034.68537) 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
Chandru, Vijaya; Coullard, Collette R.; Hammer, Peter L.; Montañez, Miguel; Sun, Xiaorong On renamable Horn and generalized Horn functions. (English) Zbl 0878.68106 Ann. Math. Artif. Intell. 1, No. 1-4, 33-47 (1990). MSC: 68T15 03B05 68Q25 PDFBibTeX XMLCite \textit{V. Chandru} et al., Ann. Math. Artif. Intell. 1, No. 1--4, 33--47 (1990; Zbl 0878.68106) Full Text: DOI
Boros, E.; Crama, Y.; Hammer, P. L. Polynomial-time inference of all valid implications for Horn and related formulae. (English) Zbl 0878.68105 Ann. Math. Artif. Intell. 1, No. 1-4, 21-32 (1990). MSC: 68T15 03B05 68Q25 PDFBibTeX XMLCite \textit{E. Boros} et al., Ann. Math. Artif. Intell. 1, No. 1--4, 21--32 (1990; Zbl 0878.68105) Full Text: DOI