Found 13,650 Documents (Results 1–100)
Introduction to artificial intelligence. Translated by Nathanael T. Black. With illustrations by Florian Mast. 3rd revised and extended edition. (English) Zbl 07859286
Undergraduate Topics in Computer Science. Wiesbaden: Springer (ISBN 978-3-658-43101-3/pbk; 978-3-658-43102-0/ebook). xv, 383 p. (2025).
Math optimization for artificial intelligence. Heuristic and metaheuristic methods for robotics and machine learning (to appear). (English) Zbl 07646040
Mathematical Methods in the Digital Age. Berlin: De Gruyter (ISBN 978-3-11-143605-0/hbk; 978-3-11-143618-0/ebook). (2025).
Identification of representative trees in random forests based on a new tree-based distance measure. (English) Zbl 07921716
Integration of constraint programming, artificial intelligence, and operations research. 21st international conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024. Proceedings. Part II. (English) Zbl 07910271
Lecture Notes in Computer Science 14743. Cham: Springer (ISBN 978-3-031-60601-4/pbk; 978-3-031-60599-4/ebook). xiv, 317 p. (2024).
Integration of constraint programming, artificial intelligence, and operations research. 21st international conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024. Proceedings. Part I. (English) Zbl 07910270
Lecture Notes in Computer Science 14742. Cham: Springer (ISBN 978-3-031-60596-3/pbk; 978-3-031-60597-0/ebook). xiv, 349 p. (2024).
27th international conference on theory and applications of satisfiability testing, SAT 2024, Pune, India, August 21–24, 2024. (English) Zbl 07909749
LIPIcs – Leibniz International Proceedings in Informatics 305. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-334-8). xvii, 31 articles, not consecutively paged, electronic only, open access (2024).
The RL/LLM taxonomy tree: reviewing synergies between reinforcement learning and large language models. (English) Zbl 07907417
Failure-informed adaptive sampling for PINNs. II: Combining with re-sampling and subset simulation. (English) Zbl 07902372
Boosting optimal symbolic planning: operator-potential heuristics. (English) Zbl 07901535
MSC:
68T20
A meshless solver for blood flow simulations in elastic vessels using a physics-informed neural network. (English) Zbl 07899178
Matching ontologies with kernel principle component analysis and evolutionary algorithm. (English) Zbl 07899057
Metaheuristic algorithms: new methods, evaluation, and performance analysis. (English) Zbl 1543.68001
Studies in Computational Intelligence 1163. Cham: Springer (ISBN 978-3-031-63052-1/hbk; 978-3-031-63055-2/pbk; 978-3-031-63053-8/ebook). xv, 297 p. (2024).
Intelligent optimization. Principles, algorithms and applications. (English) Zbl 1543.68003
Singapore: Springer; Wuhan: China University of Geosciences Press (ISBN 978-981-97-3285-2/pbk; 978-981-97-3286-9/ebook). xxiii, 361 p. (2024).
Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments. (English) Zbl 1543.68387
The Calderón’s problem via DeepONets. (English) Zbl 1543.35286
Reviewer: Giovanni S. Alberti (Genova)
A neurosymbolic cognitive architecture framework for handling novelties in open worlds. (English) Zbl 07875641
MSC:
68Txx
NeuroPrim: an attention-based model for solving NP-hard spanning tree problems. (English) Zbl 07873878
DEFM: delay-embedding-based forecast machine for time series forecasting by spatiotemporal information transformation. (English) Zbl 1540.37106
An improved sequential insertion algorithm and tabu search to vehicle routing problem with time windows. (English) Zbl 07860580
Firefly algorithm hybridized with genetic algorithm for multi-objective integrated process planning and scheduling. (English) Zbl 07859856
Formulating and heuristic solving of contact problems in hybrid data-driven computational mechanics. (English) Zbl 07853284
A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees. (English) Zbl 1537.68196
Learning bilinear models of actuated Koopman generators from partially observed trajectories. (English) Zbl 1541.37095
Multiscale medalist learning algorithm and its application in engineering. (English) Zbl 07836435
Reviewer: Zijun Wu (Hefei)
Genetic programming theory and practice XX. Proceedings of the workshop, GPTP, East Lansing, MI, USA, June 2023. (English) Zbl 1533.68008
Genetic and Evolutionary Computation. Singapore: Springer (ISBN 978-981-99-8412-1/hbk; 978-981-99-8415-2/pbk; 978-981-99-8413-8/ebook). xv 337 p. (2024).
Scatter search with stochastic beam search on the coalition formation problem. (English) Zbl 07799961
Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition. (English) Zbl 07799836
An algorithm for solving over-determined multivariate quadratic systems over finite fields. (English) Zbl 07778569
An adaptive dynamic neighborhood crow search algorithm for solving permutation flow shop scheduling problems. (English) Zbl 1538.90054
Delay ordinary and partial differential equations. (English) Zbl 1540.34003
Advances in Applied Mathematics (Boca Raton). Boca Raton, FL: CRC Press (ISBN 978-0-367-48691-4/hbk; 978-1-032-54986-6/pbk; 978-1-003-04231-0/ebook). xviii, 415 p. (2024).
Reviewer: Mustapha Yebdri (Tlemcen)
The unknotting number, hard unknot diagrams, and reinforcement learning. arXiv:2409.09032
Preprint, arXiv:2409.09032 [math.GT] (2024).
Greedy and randomized heuristics for optimization of k-domination models in digraphs and road networks. arXiv:2409.04226
Preprint, arXiv:2409.04226 [cs.DM] (2024).
Reinforcement learning for graph theory, II. Small Ramsey numbers. arXiv:2403.20055
Preprint, arXiv:2403.20055 [math.CO] (2024).
Reinforcement learning for graph theory, I. Reimplementation of Wagner’s approach. arXiv:2403.18429
Preprint, arXiv:2403.18429 [math.CO] (2024).
Machine learning for moduli space of genus two curves and an application to isogeny based cryptography. arXiv:2403.17250
Preprint, arXiv:2403.17250 [math.AG] (2024).
Separable Physics-informed Neural Networks for Solving the BGK Model of the Boltzmann Equation. arXiv:2403.06342
Preprint, arXiv:2403.06342 [math.NA] (2024).
Quantifying analogy of concepts via ologs and wiring diagrams. arXiv:2402.01020
Preprint, arXiv:2402.01020 [cs.LO] (2024).
From polynomial IOP and commitments to non-malleable zkSNARKs. (English) Zbl 07891194
Rothblum, Guy (ed.) et al., Theory of cryptography. 21st international conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14371, 455-485 (2023).
Machine discovery of partial differential equations from spatiotemporal data: a sparse Bayesian learning framework. (English) Zbl 07863012
A feature commonality-based search strategy to find high \(t\)-wise covering solutions in feature models. (English) Zbl 1539.68334
KBO constraint solving revisited. (English) Zbl 1540.68102
Sattler, Uli (ed.) et al., Frontiers of combining systems. 14th international symposium, Frocos 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14279, 81-98 (2023).
Modelling multiple problem-solving strategies and strategy shift in cognitive diagnosis for growth. (English) Zbl 1534.62214
MSC:
62P15
Interpretable random forest model for identification of edge 3-uncolorable cubic graphs. (English) Zbl 07830566
A novel policy based on action confidence limit to improve exploration efficiency in reinforcement learning. (English) Zbl 1535.68263
Simulation-based search. (English) Zbl 1535.68319
Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4800-4819 (2023).
Partition crossover can linearize local optima lattices of k-bounded pseudo-Boolean functions. (English) Zbl 07809173
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 152-162 (2023).
First complexity results for evolutionary knowledge transfer. (English) Zbl 07809172
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 140-151 (2023).
Neural networks as black-box benchmark functions optimized for exploratory landscape features. (English) Zbl 07809171
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 129-139 (2023).
Convergence properties of the \((\mu/\mu_i,\lambda)\)-ES on the Rastrigin function. (English) Zbl 07809170
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 117-128 (2023).
Self-adaptation can improve the noise-tolerance of evolutionary algorithms. (English) Zbl 07809169
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 105-116 (2023).
Fixed-parameter tractability of the (1 + 1) evolutionary algorithm on random planted vertex covers. (English) Zbl 07809168
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 96-104 (2023).
General Boolean function benchmark suite. (English) Zbl 07809167
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 84-95 (2023).
Runtime analysis of a co-evolutionary algorithm. Overcoming negative drift in maximin-optimisation. (English) Zbl 07809166
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 73-83 (2023).
First steps towards a runtime analysis of neuroevolution. (English) Zbl 07809165
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 61-72 (2023).
Weighted mutation of connections to mitigate search space limitations in Cartesian genetic programming. (English) Zbl 07809164
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 50-60 (2023).
Using automated algorithm configuration for parameter control. (English) Zbl 07809163
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 38-49 (2023).
Finding antimagic labelings of trees by evolutionary search. (English) Zbl 07809162
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 27-37 (2023).
Curing ill-conditionality via representation-agnostic distance-driven perturbations. (English) Zbl 07809161
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 15-26 (2023).
Bridging theory and practice in evolutionary computation? (English) Zbl 07809159
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 2 (2023).
Analyzing the Fourier representation of permutation-based combinatorial optimization problems. (English) Zbl 07809158
Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 1 (2023).
Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. (English) Zbl 1530.68015
New York, NY: Association for Computing Machinery (ACM) (ISBN 979-8-4007-0202-0). vi, 162 p. (2023).
Reasoning and inference for (maximum) satisfiability: new insights. (English) Zbl 1541.68335
MSC:
68T20
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. (English) Zbl 1539.68283
Symplectic model reduction of Hamiltonian systems using data-driven quadratic manifolds. (English) Zbl 1539.37091
Local search for solving satisfiability of polynomial formulas. (English) Zbl 07787549
Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13965, 87-109 (2023).
Bitwuzla. (English) Zbl 07787545
Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13965, 3-17 (2023).
Achieving zero constraint violation for concave utility constrained reinforcement learning via primal-dual approach. (English) Zbl 07781091
Maintenance of plan libraries for case-based planning: offline and online policies. (English) Zbl 07781080
MSC:
68T20
Extendable threshold ring signatures with enhanced anonymity. (English) Zbl 1527.94074
Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13940, 281-311 (2023).
Filter Results by …
Document Type
- Journal Articles (7,063)
- Collection Articles (5,594)
- Books (969)
- arXiv Preprints (24)
all
top 5
Author
- Marques-Silva, João P. (74)
- Stuckey, Peter James (69)
- Walsh, Toby (61)
- Heule, Marijn J. H. (52)
- Biere, Armin (47)
- Bessiere, Christian (43)
- Szeider, Stefan (41)
- Dechter, Rina (40)
- Jonsson, Peter (40)
- Jeavons, Peter G. (39)
- Witt, Carsten (37)
- Doerr, Benjamin (36)
- Lynce, Inês (36)
- O’Sullivan, Barry (36)
- Beldiceanu, Nicolas (34)
- Hoffmann, Jörg (34)
- Pesant, Gilles (34)
- Van Hentenryck, Pascal (34)
- Järvisalo, Matti (33)
- Cohen, David A. (32)
- Sebastiani, Roberto (32)
- Neumann, Frank (31)
- Régin, Jean-Charles (31)
- Cooper, Martin C. (30)
- Manyà, Felip (30)
- Milano, Michela (30)
- Saïs, Lakhdar (29)
- Bulatov, Andrei A. (28)
- Krokhin, Andrei A. (28)
- Maratea, Marco (28)
- Schaub, Torsten H. (28)
- Selman, Bart (27)
- Felner, Ariel (26)
- Giunchiglia, Enrico (26)
- Gomes, Carla P. (26)
- Rossi, Francesca (26)
- Bacchus, Fahiem (25)
- Beck, J. Christopher (25)
- Gent, Ian Philip (25)
- Larrosa, Javier (25)
- Sudholt, Dirk (25)
- Hoos, Holger H. (24)
- Meisels, Amnon (24)
- Vardi, Moshe Ya’akov (24)
- Cimatti, Alessandro (23)
- Jiao, Licheng (23)
- Bodirsky, Manuel (22)
- Chen, Hubie (22)
- Coello Coello, Carlos A. (22)
- Dalmau, Víctor (22)
- Faltings, Boi Volkert (22)
- Freuder, Eugene C. (22)
- Kötzing, Timo (22)
- Lecoutre, Christophe (22)
- Quimper, Claude-Guy (22)
- Rousseau, Louis-Martin (22)
- Sakallah, Karem A. (22)
- Strichman, Ofer (22)
- Stützle, Thomas G. (22)
- Tacchella, Armando (22)
- Tinelli, Cesare (22)
- Chakrabarti, Partha Pratim (21)
- Friedrich, Tobias (21)
- Geffner, Hector (21)
- Monfroy, Eric (21)
- van Hoeve, Willem-Jan (21)
- Yager, Ronald R. (21)
- Bistarelli, Stefano (20)
- Janota, Mikoláš (20)
- Li, Chumin (20)
- Meseguer, Pedro (20)
- Prestwich, Steven D. (20)
- Sabharwal, Ashish (20)
- Woltran, Stefan (20)
- Barrett, Clark W. (19)
- Becker, Bernd (19)
- Flener, Pierre (19)
- Gao, Liqun (19)
- Gebser, Martin (19)
- Ignatyev, Alexey A. (19)
- Jansen, Thomas (19)
- Kullmann, Oliver (19)
- Lee, Jimmy Ho-man (19)
- Miguel, Ian (19)
- Seidl, Martina (19)
- Zhang, Weixiong (19)
- Achlioptas, Dimitris (18)
- Ansótegui, Carlos (18)
- Cai, Shaowei (18)
- Edelkamp, Stefan (18)
- Eiter, Thomas (18)
- Hao, Jin-Kao (18)
- Hebrard, Emmanuel (18)
- Hnich, Brahim (18)
- Lonsing, Florian (18)
- Manquinho, Vasco M. (18)
- Moshkov, Mikhail Ju. (18)
- Niemelä, Ilkka N. F. (18)
- Nieuwenhuis, Robert (18)
- Prade, Henri M. (18)
- and 19,873 more Authors
all
top 5
Serial
- Artif. Intell. (584)
- J. Artif. Intell. Res. (JAIR) (386)
- Theor. Comput. Sci. (218)
- Inf. Sci. (199)
- Control Decis. (182)
- Lect. Notes Comput. Sci. (168)
- Ann. Math. Artif. Intell. (157)
- Constraints (157)
- Int. J. Intell. Syst. (105)
- Fundam. Inform. (103)
- J. Softw. (99)
- Theory Pract. Log. Program. (88)
- Algorithmica (85)
- Int. J. Approx. Reasoning (84)
- J. Satisf. Boolean Model. Comput. (84)
- J. Autom. Reasoning (76)
- AI Commun. (75)
- Nat. Comput. (75)
- Mach. Learn. (70)
- Inf. Process. Lett. (66)
- Syst. Eng. Electron. (55)
- Discrete Appl. Math. (54)
- J. Intell. Robot. Syst. (54)
- J. Heuristics (51)
- Control Theory Appl. (51)
- J. Comput. Syst. Sci. (50)
- Soft Comput. (50)
- J. Mach. Learn. Res. (50)
- ACM J. Exp. Algorithm. (48)
- Comput. Inform. (46)
- J. Northeast. Univ., Nat. Sci. (46)
- Math. Pract. Theory (42)
- J. Exp. Theor. Artif. Intell. (42)
- Stud. Comput. Intell. (39)
- Acta Autom. Sin. (38)
- J. Intell. Fuzzy Syst. (33)
- Comput. Oper. Res. (32)
- J. Jilin Univ., Sci. (32)
- Fuzzy Sets Syst. (31)
- Cybern. Syst. Anal. (31)
- Inf. Comput. (29)
- Appl. Math. Comput. (26)
- IEEE Trans. Comput. (26)
- Eur. J. Oper. Res. (26)
- Form. Methods Syst. Des. (26)
- J. ACM (26)
- J. Math. Model. Algorithms (26)
- ACM Trans. Comput. Log. (26)
- Appl. Intell. (24)
- Pattern Recognition (24)
- RAIRO, Oper. Res. (24)
- Computing (23)
- J. Assoc. Comput. Mach. (23)
- SIAM J. Comput. (23)
- Cybern. Syst. (23)
- J. Xi’an Jiaotong Univ. (23)
- Neural Netw. (23)
- Int. J. Comput. Math. (23)
- Informatica, Vilnius (23)
- Log. Methods Comput. Sci. (23)
- J. Parallel Distrib. Comput. (22)
- Ann. Oper. Res. (22)
- Comput. Math. Appl. (21)
- J. Huazhong Univ. Sci. Technol. (21)
- Theory Comput. Syst. (21)
- J. Comput. Sci. Technol. (20)
- Neural Comput. (20)
- Autom. Remote Control (20)
- Math. Probl. Eng. (20)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (20)
- Artif. Intell. Rev. (19)
- Int. J. Found. Comput. Sci. (18)
- Informatica, Ljubl. (18)
- J. Harbin Inst. Technol. (18)
- J. Hefei Univ. Technol., Nat. Sci. (18)
- Front. Artif. Intell. Appl. (18)
- J. Log. Comput. (17)
- J. Comput. Appl. (17)
- J. Symb. Comput. (16)
- Int. J. Inf. Technol. Decis. Mak. (16)
- Int. J. Gen. Syst. (15)
- J. Syst. Sci. Math. Sci. (15)
- J. Comput. Syst. Sci. Int. (15)
- Mathware Soft Comput. (15)
- Comput. Sci. J. Mold. (15)
- Wuhan Univ. J. Nat. Sci. (15)
- J. Mult.-Val. Log. Soft Comput. (15)
- Nat. Comput. Ser. (15)
- J. Wuhan Univ., Nat. Sci. Ed. (14)
- New Generation Comput. (14)
- Random Struct. Algorithms (14)
- Int. J. Hum.-Comput. Stud. (14)
- J. Beijing Univ. Technol. (14)
- J. Ind. Manag. Optim. (14)
- Kybernetes (13)
- J. Algorithms (13)
- J. Shanghai Jiaotong Univ. (Chin. Ed.) (13)
- Log. J. IGPL (13)
- Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka (13)
- J. Zhejiang Univ., Eng. Sci. (13)
- and 974 more Serials
all
top 5
Year of Publication
- 2025 (3)
- 2024 (49)
- 2023 (156)
- 2022 (200)
- 2021 (427)
- 2020 (417)
- 2019 (364)
- 2018 (375)
- 2017 (489)
- 2016 (514)
- 2015 (498)
- 2014 (519)
- 2013 (481)
- 2012 (513)
- 2011 (521)
- 2010 (594)
- 2009 (586)
- 2008 (604)
- 2007 (512)
- 2006 (553)
- 2005 (769)
- 2004 (589)
- 2003 (753)
- 2002 (582)
- 2001 (578)
- 2000 (331)
- 1999 (125)
- 1998 (131)
- 1997 (111)
- 1996 (116)
- 1995 (87)
- 1994 (102)
- 1993 (63)
- 1992 (73)
- 1991 (140)
- 1990 (72)
- 1989 (180)
- 1988 (99)
- 1987 (67)
- 1986 (46)
- 1985 (40)
- 1984 (21)
- 1983 (26)
- 1982 (27)
- 1981 (20)
- 1980 (18)
- 1979 (23)
- 1978 (22)
- 1977 (6)
- 1976 (5)
- 1975 (3)
- 1973 (1)
- 1972 (1)
- 1971 (14)
- 1970 (15)
- 1969 (9)
- 1968 (5)
- 1962 (1)
- 1960 (2)
- 1869 (1)
- 1868 (1)
all
top 3
Main Field
- 68-XX (13,216)
- 90-XX (3,330)
- 91-XX (565)
- 00-XX (559)
- 03-XX (484)
- 05-XX (474)
- 62-XX (316)
- 92-XX (314)
- 65-XX (253)
- 93-XX (236)
- 97-XX (197)
- 94-XX (188)
- 81-XX (96)
- 60-XX (92)
- 13-XX (52)
- 37-XX (48)
- 51-XX (44)
- 08-XX (38)
- 35-XX (38)
- 11-XX (37)
- 82-XX (36)
- 14-XX (33)
- 34-XX (33)
- 15-XX (30)
- 74-XX (28)
- 52-XX (27)
- 01-XX (25)
- 20-XX (25)
- 06-XX (24)
- 49-XX (22)
- 70-XX (22)
- 28-XX (20)
- 76-XX (18)
- 80-XX (16)
- 12-XX (14)
- 26-XX (13)
- 86-XX (12)
- 47-XX (11)
- 53-XX (10)
- 78-XX (10)
- 83-XX (7)
- 42-XX (6)
- 16-XX (5)
- 18-XX (5)
- 46-XX (5)
- 54-XX (5)
- 55-XX (5)
- 40-XX (4)
- 41-XX (4)
- 45-XX (4)
- 39-XX (3)
- 57-XX (3)
- 32-XX (2)
- 85-XX (2)
- 31-XX (1)
- 33-XX (1)
- 43-XX (1)
- 44-XX (1)
- 58-XX (1)
all
top 3
Biographic Reference
- Pólya, George (3)
- Ahlswede, Rudolf (1)
- as-Sijzī (1)
- Descartes, René (1)
- Eisenberg, Ted (1)
- Gallego-Díaz, José (1)
- Kaiser, Gabriele (1)
- Mach, Ernst (1)
- Miksa, F. L. (1)
- Montanari, Ugo G. (1)
- ‘Omar Khayyām (1)
- Pearl, Judea (1)
- Rashevsky, Nicolas (1)
- Wos, Larry (1)
all
top 3
Software
- MiniSat (307)
- Chaff (291)
- Walksat (134)
- Graphplan (123)
- UCI-ml (105)
- z3 (102)
- CPLEX (99)
- BerkMin (87)
- SATO (83)
- PDDL (67)
- Genocop (66)
- GitHub (66)
- C4.5 (64)
- Lingeling (58)
- Matlab (56)
- DIMACS (55)
- SPEA2 (54)
- Plingeling (53)
- SMT-LIB (52)
- TSPLIB (49)
- NSGA-II (48)
- SATzilla (48)
- PicoSAT (46)
- Tabu search (45)
- MiniZinc (43)
- Sat4j (43)
- SCIP (41)
- Yices (41)
- CVC4 (40)
- Paramils (40)
- ABC (39)
- CSPLib (39)
- Smodels (39)
- Glucose (38)
- Treengeling (38)
- Quaffle (36)
- ASSAT (35)
- CUDD (32)
- Gringo (32)
- Gurobi (32)
- clasp (32)
- Clingo (31)
- STAN (31)
- UnitWalk (31)
- CP-nets (30)
- Isabelle/HOL (30)
- DepQBF (29)
- ManySAT (29)
- MathSAT5 (29)
- Mathematica (29)
- Gecode (28)
- UBCSAT (28)
- UCPOP (28)
- GOLOG (27)
- SATLIB (27)
- SICStus (27)
- SMAC (27)
- Scikit (27)
- COMET (26)
- MiniMaxSat (26)
- Open-WBO (26)
- Adam (25)
- Choco (24)
- DRAT-trim (24)
- OR-Library (24)
- Velev SAT Benchmarks (24)
- CaDiCaL (23)
- Maple (23)
- R (23)
- TPTP (23)
- LIBSVM (22)
- MaxHS (22)
- NuSMV (22)
- SPIN (22)
- WASP (22)
- GSA (21)
- Hyperheuristics (21)
- MathSAT (21)
- PBS (21)
- PSATO (21)
- nauty (21)
- Bloqqer (20)
- CEC 05 (20)
- CPlan (20)
- Coq (20)
- MINION (20)
- MIPLIB (20)
- Oz (20)
- Pueblo (20)
- RAReQS (20)
- Siege (20)
- Sugar (20)
- Clingcon (19)
- QMaxSAT (19)
- AMUSE (18)
- CryptoMiniSat (18)
- E Theorem Prover (18)
- PRMLT (18)
- PySAT (18)
- Python (18)
- and 2,349 more Software Packages
