Search Results - Non numerical algorithms AND problems—complexity of proof procedures*
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors I.1.2 [Symbolic and Algebraic Manipulation, Algorithms—algebraic algorithms, F.2.2 [Analysis of Algorithms and Problem Complexity, Non numerical algorithms and problems—complexity of proof procedures General Terms
File Description: application/pdf
-
2
Authors: et al.
Source: Cognitive Computation; Apr2025, Vol. 17 Issue 2, p1-26, 26p
-
3
Authors:
Source: Journal of Applied & Industrial Mathematics; 2020, Vol. 14 Issue 4, p681-692, 12p
-
4
Authors:
Source: Journal of the ACM; Apr2025, Vol. 72 Issue 2, p1-38, 38p
Subject Terms: OPTIMIZATION algorithms, PHASE transitions, CONVEX functions, CONVEX sets, GLUE
-
5
Authors:
Source: Artificial Intelligence Review; Dec2025, Vol. 58 Issue 12, p1-70, 70p
-
6
Authors: et al.
Source: Engineering Optimization; Oct2025, Vol. 57 Issue 10, p2984-3006, 23p
-
7
Authors: et al.
Source: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 19, p3172, 34p
-
8
Authors:
Source: International Journal of Production Research; Sep2025, Vol. 63 Issue 18, p6895-6914, 20p
Subject Terms: ERGONOMICS, EMPLOYEE well-being, DISEASE risk factors, SCHEDULING, INDUSTRY 4.0, LABOR productivity, WORK structure
-
9
Authors:
Source: Mathematical Programming; Jul2025, Vol. 212 Issue 1, p1-48, 48p
Subject Terms: COMPUTATIONAL mathematics, APPLIED mathematics, CONVEX sets, SMOOTHNESS of functions, ALGORITHMS
-
10
Authors: et al.
Source: Journal of the ACM; Aug2024, Vol. 71 Issue 4, p1-42, 42p
Subject Terms: GEOMETRIC measure theory, WISHART matrices, LOGICAL prediction, ALGORITHMS, KRYLOV subspace
-
11
Authors: et al.
Source: Mathematical Programming; Sep2025, Vol. 213 Issue 1/2, p239-280, 42p
Subject Terms: CONVEX programming, OPTIMIZATION algorithms, STOCHASTIC programming, ESTIMATION theory
-
12
Authors: et al.
Source: International Journal of Production Research; May2025, Vol. 63 Issue 10, p3538-3563, 26p
Subject Terms: SETUP time, SUSTAINABLE transportation, ELECTRIC motor buses, ELECTRIC batteries, ELECTRIC charge
-
13
Authors:
Source: Journal of Intelligent Manufacturing; Aug2025, Vol. 36 Issue 6, p4143-4199, 57p
Subject Terms: OPTIMIZATION algorithms, SUSTAINABILITY, WASTE recycling, LABOR costs, INDUSTRIAL robots
-
14
Authors: et al.
Source: Cluster Computing; Oct2025, Vol. 28 Issue 6, p1-55, 55p
-
15
Authors: et al.
Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 23, p9408-9441, 34p
-
16
Authors: et al.
Source: Symmetry (20738994); Sep2025, Vol. 17 Issue 9, p1417, 24p
-
17
Authors:
Source: European Journal of Pure & Applied Mathematics; Oct2025, Vol. 18 Issue 4, p1-30, 30p
-
18
Authors: et al.
Source: INFORMS Journal on Computing; Nov/Dec2025, Vol. 37 Issue 6, p1560-1586, 27p
-
19
Authors: et al.
Source: Mathematics of Operations Research; Aug2025, Vol. 50 Issue 3, p2301-2332, 32p
-
20
Authors: et al.
Source: Artificial Intelligence Review; Dec2025, Vol. 58 Issue 12, p1-110, 110p
Nájsť tento článok vo Web of Science
Full Text Finder