×

zbMATH — the first resource for mathematics

Found 29,563 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Tlelo-Cuautle, Esteban; de la Fraga, Luis Gerardo; Guillén-Fernández, Omar Guillén; Silva-Juárez, Alejandro
Optimization of integer/fractional order chaotic systems by metaheuristics and their electronic realization. (English) Zbl 07330854
Boca Raton, FL: CRC Press (ISBN 978-0-367-48668-6/hbk). 266 p. (2021).
MSC:  90-02 49-02 94-02 49K15 34A08 37D45 90C59 94C05
PDF BibTeX XML Cite
\textit{E. Tlelo-Cuautle} et al., Optimization of integer/fractional order chaotic systems by metaheuristics and their electronic realization. Boca Raton, FL: CRC Press (2021; Zbl 07330854)
Full Text: DOI
Khamparia, Aditya (ed.); Khanna, Ashish (ed.); Nguyen, Nhu Gia (ed.); Nguyen, Bao Le (ed.)
Nature-inspired optimization algorithms. Recent advances in natural computing and biomedical applications. (English) Zbl 1454.68010
Intelligent Biomedical Data Analysis 4. Berlin: De Gruyter (ISBN 978-3-11-067606-8/hbk; 978-3-11-067611-2/ebook). xiii, 153 p. (2021).
MSC:  68-06 68T05 68T20 68W50 90C59 92C50 00B15
PDF BibTeX XML Cite
\textit{A. Khamparia} (ed.) et al., Nature-inspired optimization algorithms. Recent advances in natural computing and biomedical applications. Berlin: De Gruyter (2021; Zbl 1454.68010)
Full Text: DOI
Pardalos, Panos M. (ed.); Rasskazova, Varvara (ed.); Vrahatis, Michael N. (ed.)
Black box optimization, machine learning, and no-free lunch theorems (to appear). (English) Zbl 07312872
Springer Optimization and Its Applications 170. Cham: Springer (ISBN 978-3-030-66514-2/hbk; 978-3-030-66515-9/ebook). viii, 492 p. (2021).
MSC:  90-06 68-06 68T05 90C59
PDF BibTeX XML Cite
\textit{P. M. Pardalos} (ed.) et al., Black box optimization, machine learning, and no-free lunch theorems (to appear). Cham: Springer (2021; Zbl 07312872)
Full Text: DOI
Sindhu, V.; Singaravelan, M.; Ramadevi, J.; Vinitha, S.; Hemapriyaa, S.
Bat algorithm aided system to extract tumor in Flair/T2 modality brain MRI slices. (English) Zbl 07310497
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 155-172 (2021).
MSC:  92C55 90C59
PDF BibTeX XML Cite
\textit{V. Sindhu} et al., in: Applications of bat algorithm and its variants. Singapore: Springer. 155--172 (2021; Zbl 07310497)
Full Text: DOI
Prajna, K.; Manikanthababu, N.
Bat algorithm with applications to signal, speech, and image processing – a review. (English) Zbl 07310496
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 133-153 (2021).
MSC:  94A12 94A08 90C59 68T35
PDF BibTeX XML Cite
\textit{K. Prajna} and \textit{N. Manikanthababu}, in: Applications of bat algorithm and its variants. Singapore: Springer. 133--153 (2021; Zbl 07310496)
Full Text: DOI
Kotwal, Adit; Bharti, Rishika; Pandya, Mansi; Jhaveri, Harshil; Mangrulkar, Ramchandra
Application of BAT algorithm for detecting malignant brain tumors. (English) Zbl 07310495
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 119-132 (2021).
MSC:  92C55 90C59
PDF BibTeX XML Cite
\textit{A. Kotwal} et al., in: Applications of bat algorithm and its variants. Singapore: Springer. 119--132 (2021; Zbl 07310495)
Full Text: DOI
Shekhawat, Shalini; Saxena, Akash; Kumar, Rajesh; Singh, Vinay Pratap
Levy flight opposition embedded BAT algorithm for model order reduction. (English) Zbl 07310494
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 103-118 (2021).
MSC:  93B11 93C05 90C59
PDF BibTeX XML Cite
\textit{S. Shekhawat} et al., in: Applications of bat algorithm and its variants. Singapore: Springer. 103--118 (2021; Zbl 07310494)
Full Text: DOI
Bansal, Shonak; Gupta, Neena; Singh, Arun K.
Application of bat-inspired computing algorithm and its variants in search of near-optimal Golomb rulers for WDM systems: a comparative study. (English) Zbl 07310493
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 79-101 (2021).
MSC:  78A60 78M50 78M32 68T20 82B41 68 90C59
PDF BibTeX XML Cite
\textit{S. Bansal} et al., in: Applications of bat algorithm and its variants. Singapore: Springer. 79--101 (2021; Zbl 07310493)
Full Text: DOI
Rajinikanth, V.; Dey, Nilanjan; Kavitha, S.
Multi-thresholding with Kapur’s entropy – a study using bat algorithm with different search operators. (English) Zbl 07310492
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 61-78 (2021).
MSC:  94A08 90C59
PDF BibTeX XML Cite
\textit{V. Rajinikanth} et al., in: Applications of bat algorithm and its variants. Singapore: Springer. 61--78 (2021; Zbl 07310492)
Full Text: DOI
Biere, Armin (ed.); Heule, Marijn (ed.); Van Maaren, Hans (ed.); Walsh, Toby (ed.)
Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. (English) Zbl 1456.68001
Frontiers in Artificial Intelligence and Applications 336. Amsterdam: IOS Press (ISBN 978-1-64368-160-3/pbk; 978-1-64368-161-0/ebook). xvii, 1465 p. (2021).
MSC:  68-00 68Q60 68R07 68T20 68T27 00B15
PDF BibTeX XML Cite
\textit{A. Biere} (ed.) et al., Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Amsterdam: IOS Press (2021; Zbl 1456.68001)
Full Text: Link
Dhar, Shri; Singh, Phool; Singh, Jyotsna; Yadav, A. K.; Yadav, Sanjay
Analysis of discharge patterns of subthalamic nucleus and external Globus pallidus coupling in Parkinson condition using particle swarm optimization algorithm. (English) Zbl 07302970
Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 28, No. 1, 25-40 (2021).
MSC:  92C32 92B20 90C59
PDF BibTeX XML Cite
\textit{S. Dhar} et al., Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 28, No. 1, 25--40 (2021; Zbl 07302970)
Full Text: Link
Aljarah, Ibrahim (ed.); Faris, Hossam (ed.); Mirjalili, Seyedali (ed.)
Evolutionary data clustering: algorithms and applications. (English) Zbl 1455.68007
Algorithms for Intelligent Systems. Singapore: Springer (ISBN 978-981-334-190-6/hbk; 978-981-334-191-3/ebook). xii, 248 p. (2021).
MSC:  68-02 68-06 68T09 68T20 68W50 00B15
PDF BibTeX XML Cite
\textit{I. Aljarah} (ed.) et al., Evolutionary data clustering: algorithms and applications. Singapore: Springer (2021; Zbl 1455.68007)
Full Text: DOI
Kulshrestha, Rakhee (ed.); Shekhar, Chandra (ed.); Jain, Madhu (ed.); Chakravarthy, Srinivas R. (ed.)
Mathematical modeling and computation of real-time problems. An interdisciplinary approach. (English) Zbl 1451.90002
Mathematical Engineering, Manufacturing, and Management Sciences. Boca Raton, FL: CRC Press (ISBN 978-0-367-51743-4/hbk; 978-1-003-05503-7/ebook). xiv, 234 p. (2021).
MSC:  90-01 90B22 90C70 90C59
PDF BibTeX XML Cite
\textit{R. Kulshrestha} (ed.) et al., Mathematical modeling and computation of real-time problems. An interdisciplinary approach. Boca Raton, FL: CRC Press (2021; Zbl 1451.90002)
Full Text: DOI
Karpiński, Michał; Piotrów, Marek
Incremental encoding of pseudo-Boolean goal functions based on comparator networks. (English) Zbl 07331043
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 519-535 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. Karpiński} and \textit{M. Piotrów}, Lect. Notes Comput. Sci. 12178, 519--535 (2020; Zbl 07331043)
Full Text: DOI
Janota, Mikoláš; Morgado, António
SAT-based encodings for optimal decision trees with explicit paths. (English) Zbl 07331042
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 501-518 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. Janota} and \textit{A. Morgado}, Lect. Notes Comput. Sci. 12178, 501--518 (2020; Zbl 07331042)
Full Text: DOI
Ehlers, Rüdiger; Treutler, Kai; Wesling, Volker
SAT solving with fragmented Hamiltonian path constraints for wire arc additive manufacturing. (English) Zbl 07331041
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 492-500 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{R. Ehlers} et al., Lect. Notes Comput. Sci. 12178, 492--500 (2020; Zbl 07331041)
Full Text: DOI
Češka, Milan; Matyáš, Jiří; Mrazek, Vojtech; Vojnar, Tomáš
Satisfiability solving meets evolutionary optimisation in designing approximate circuits. (English) Zbl 07331040
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 481-491 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. Češka} et al., Lect. Notes Comput. Sci. 12178, 481--491 (2020; Zbl 07331040)
Full Text: DOI
Anderson, Matthew; Ji, Zongliang; Xu, Anthony Yang
Matrix multiplication: verifying strong uniquely solvable puzzles. (English) Zbl 07331039
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 464-480 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. Anderson} et al., Lect. Notes Comput. Sci. 12178, 464--480 (2020; Zbl 07331039)
Full Text: DOI
Mayer-Eichberger, Valentin; Saffidine, Abdallah
Positional games and QBF: the corrective encoding. (English) Zbl 07331038
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 447-463 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{V. Mayer-Eichberger} and \textit{A. Saffidine}, Lect. Notes Comput. Sci. 12178, 447--463 (2020; Zbl 07331038)
Full Text: DOI
Schlaipfer, Matthias; Slivovsky, Friedrich; Weissenbacher, Georg; Zuleger, Florian
Multi-linear strategy extraction for QBF expansion proofs via local soundness. (English) Zbl 07331037
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 429-446 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. Schlaipfer} et al., Lect. Notes Comput. Sci. 12178, 429--446 (2020; Zbl 07331037)
Full Text: DOI
Shukla, Ankit; Slivovsky, Friedrich; Szeider, Stefan
Short Q-resolution proofs with homomorphisms. (English) Zbl 07331036
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 412-428 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{A. Shukla} et al., Lect. Notes Comput. Sci. 12178, 412--428 (2020; Zbl 07331036)
Full Text: DOI
Beyersdorff, Olaf; Blinkhorn, Joshua; Peitl, Tomáš
Strong (D)QBF dependency schemes via tautology-free resolution paths. (English) Zbl 07331035
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 394-411 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{O. Beyersdorff} et al., Lect. Notes Comput. Sci. 12178, 394--411 (2020; Zbl 07331035)
Full Text: DOI
Jonáš, Martin; Strejček, Jan
Speeding up quantified bit-vector SMT solvers by bit-width reductions and extensions. (English) Zbl 07331034
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 378-393 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. Jonáš} and \textit{J. Strejček}, Lect. Notes Comput. Sci. 12178, 378--393 (2020; Zbl 07331034)
Full Text: DOI
Seed, Thomas; King, Andy; Evans, Neil
Reducing bit-vector polynomials to SAT using Gröbner bases. (English) Zbl 07331033
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 361-377 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{T. Seed} et al., Lect. Notes Comput. Sci. 12178, 361--377 (2020; Zbl 07331033)
Full Text: DOI
Hecher, Markus; Thier, Patrick; Woltran, Stefan
Taming high treewidth with abstraction, nested dynamic programming, and database technology. (English) Zbl 07331032
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 343-360 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. Hecher} et al., Lect. Notes Comput. Sci. 12178, 343--360 (2020; Zbl 07331032)
Full Text: DOI
Mencía, Carlos; Marques-Silva, Joao
Reasoning about strong inconsistency in ASP. (English) Zbl 07331031
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 332-342 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{C. Mencía} and \textit{J. Marques-Silva}, Lect. Notes Comput. Sci. 12178, 332--342 (2020; Zbl 07331031)
Full Text: DOI
Le Berre, Daniel; Marquis, Pierre; Wallon, Romain
On weakening strategies for PB solvers. (English) Zbl 07331030
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 322-331 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{D. Le Berre} et al., Lect. Notes Comput. Sci. 12178, 322--331 (2020; Zbl 07331030)
Full Text: DOI
de Colnet, Alexis
A lower bound on DNNF encodings of pseudo-Boolean constraints. (English) Zbl 07331029
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 312-321 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{A. de Colnet}, Lect. Notes Comput. Sci. 12178, 312--321 (2020; Zbl 07331029)
Full Text: DOI
Filmus, Yuval; Mahajan, Meena; Sood, Gaurav; Vinyals, Marc
MaxSAT resolution and subcube sums. (English) Zbl 07331028
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 295-311 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{Y. Filmus} et al., Lect. Notes Comput. Sci. 12178, 295--311 (2020; Zbl 07331028)
Full Text: DOI
Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
Abstract cores in implicit hitting set MaxSat solving. (English) Zbl 07331027
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 277-294 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{J. Berg} et al., Lect. Notes Comput. Sci. 12178, 277--294 (2020; Zbl 07331027)
Full Text: DOI
Slivovsky, Friedrich; Szeider, Stefan
A faster algorithm for propositional model counting parameterized by incidence treewidth. (English) Zbl 07331026
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 267-276 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{F. Slivovsky} and \textit{S. Szeider}, Lect. Notes Comput. Sci. 12178, 267--276 (2020; Zbl 07331026)
Full Text: DOI
Agrawal, Durgesh; Bhavishya; Meel, Kuldeep S.
On the sparsity of XORs in approximate model counting. (English) Zbl 07331025
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 250-266 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{D. Agrawal} et al., Lect. Notes Comput. Sci. 12178, 250--266 (2020; Zbl 07331025)
Full Text: DOI
Li, Chunxiao; Fleming, Noah; Vinyals, Marc; Pitassi, Toniann; Ganesh, Vijay
Towards a complexity-theoretic understanding of restarts in SAT solvers. (English) Zbl 07331024
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 233-249 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{C. Li} et al., Lect. Notes Comput. Sci. 12178, 233--249 (2020; Zbl 07331024)
Full Text: DOI
Larrosa, Javier; Rollon, Emma
Towards a better understanding of (partial weighted) MaxSAT proof systems. (English) Zbl 07331023
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 218-232 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{J. Larrosa} and \textit{E. Rollon}, Lect. Notes Comput. Sci. 12178, 218--232 (2020; Zbl 07331023)
Full Text: DOI
Yolcu, Emre; Wu, Xinyu; Heule, Marijn J. H.
Mycielski graphs and PR proofs. (English) Zbl 07331022
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 201-217 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{E. Yolcu} et al., Lect. Notes Comput. Sci. 12178, 201--217 (2020; Zbl 07331022)
Full Text: DOI
Vinyals, Marc; Elffers, Jan; Johannsen, Jan; Nordström, Jakob
Simplified and improved separations between regular and general resolution by lifting. (English) Zbl 07331021
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 182-200 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. Vinyals} et al., Lect. Notes Comput. Sci. 12178, 182--200 (2020; Zbl 07331021)
Full Text: DOI
Bonet, Maria Luisa; Levy, Jordi
Equivalence between systems stronger than resolution. (English) Zbl 07331020
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 166-181 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. L. Bonet} and \textit{J. Levy}, Lect. Notes Comput. Sci. 12178, 166--181 (2020; Zbl 07331020)
Full Text: DOI
Mull, Nathan; Pang, Shuo; Razborov, Alexander
On CDCL-based proof systems with the ordered decision strategy. (English) Zbl 07331019
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 149-165 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{N. Mull} et al., Lect. Notes Comput. Sci. 12178, 149--165 (2020; Zbl 07331019)
Full Text: DOI
Kochemazov, Stepan
Improving implementation of SAT competitions 2017–2019 winners. (English) Zbl 07331018
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 139-148 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{S. Kochemazov}, Lect. Notes Comput. Sci. 12178, 139--148 (2020; Zbl 07331018)
Full Text: DOI
Nabeshima, Hidetomo; Inoue, Katsumi
Reproducible efficient parallel SAT solving. (English) Zbl 07331017
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 123-138 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{H. Nabeshima} and \textit{K. Inoue}, Lect. Notes Comput. Sci. 12178, 123--138 (2020; Zbl 07331017)
Full Text: DOI
Heisinger, Maximilian; Fleury, Mathias; Biere, Armin
Distributed cube and conquer with Paracooba. (English) Zbl 07331016
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 114-122 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{M. Heisinger} et al., Lect. Notes Comput. Sci. 12178, 114--122 (2020; Zbl 07331016)
Full Text: DOI
Audemard, Gilles; Paulevé, Loïc; Simon, Laurent
SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers. (English) Zbl 07331015
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 107-113 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{G. Audemard} et al., Lect. Notes Comput. Sci. 12178, 107--113 (2020; Zbl 07331015)
Full Text: DOI
Lorenz, Jan-Hendrik; Wörz, Florian
On the effect of learned clauses on stochastic local search. (English) Zbl 07331014
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 89-106 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{J.-H. Lorenz} and \textit{F. Wörz}, Lect. Notes Comput. Sci. 12178, 89--106 (2020; Zbl 07331014)
Full Text: DOI
Shaw, Arijit; Meel, Kuldeep S.
Designing new phase selection heuristics. (English) Zbl 07331013
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 72-88 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{A. Shaw} and \textit{K. S. Meel}, Lect. Notes Comput. Sci. 12178, 72--88 (2020; Zbl 07331013)
Full Text: DOI
Möhle, Sibylle; Sebastiani, Roberto; Biere, Armin
Four flavors of entailment. (English) Zbl 07331012
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 62-71 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{S. Möhle} et al., Lect. Notes Comput. Sci. 12178, 62--71 (2020; Zbl 07331012)
Full Text: DOI
Hickey, Randy; Bacchus, Fahiem
Trail saving on backtrack. (English) Zbl 07331011
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 46-61 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{R. Hickey} and \textit{F. Bacchus}, Lect. Notes Comput. Sci. 12178, 46--61 (2020; Zbl 07331011)
Full Text: DOI
Feng, Nick; Bacchus, Fahiem
Clause size reduction with all-UIP learning. (English) Zbl 07331010
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 28-45 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{N. Feng} and \textit{F. Bacchus}, Lect. Notes Comput. Sci. 12178, 28--45 (2020; Zbl 07331010)
Full Text: DOI
Vallade, Vincent; Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Ganesh, Vijay; Kordon, Fabrice
Community and LBD-based clause sharing policy for parallel SAT solving. (English) Zbl 07331009
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 11-27 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{V. Vallade} et al., Lect. Notes Comput. Sci. 12178, 11--27 (2020; Zbl 07331009)
Full Text: DOI
Chew, Leroy; Heule, Marijn J. H.
Sorting parity encodings by reusing variables. (English) Zbl 07331008
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 1-10 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
\textit{L. Chew} and \textit{M. J. H. Heule}, Lect. Notes Comput. Sci. 12178, 1--10 (2020; Zbl 07331008)
Full Text: DOI
Boucetta, R.; Hamdi, S.; Bel Hadj Ali, S.
Flexible-link manipulators: dynamic analysis and advanced control strategies. (English) Zbl 07329890
Ghommam, Jawhar (ed.) et al., New trends in robot control. Singapore: Springer (ISBN 978-981-15-1818-8/hbk; 978-981-15-1821-8/pbk; 978-981-15-1819-5/ebook). Studies in Systems, Decision and Control 270, 19-46 (2020).
MSC:  93C85 93C42 26A33 90C59
PDF BibTeX XML Cite
\textit{R. Boucetta} et al., Stud. Syst. Decis. Control 270, 19--46 (2020; Zbl 07329890)
Full Text: DOI
Do, Quang Hung; Tuan, Tran Trong; Ha, Luu Thi Thu; Doan, Thi Thanh Hang; Nguyen, Thi van Anh; Tan, Le Thanh
Development of artificial neural networks trained by heuristic algorithms for prediction of exhaust emissions and performance of a diesel engine fuelled with biodiesel blends. (English) Zbl 07326255
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 253-275 (2020).
MSC:  92E20 68T05 90C59
PDF BibTeX XML Cite
\textit{Q. H. Do} et al., in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 253--275 (2020; Zbl 07326255)
Full Text: DOI
Sheta, Alaa; Faris, Hossam; Braik, Malik; Mirjalili, Seyedali
Nature-inspired metaheuristics search algorithms for solving the economic load dispatch problem of power system: a comparison study. (English) Zbl 07326253
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 199-230 (2020).
MSC:  91B32 90C59
PDF BibTeX XML Cite
\textit{A. Sheta} et al., in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 199--230 (2020; Zbl 07326253)
Full Text: DOI
Rajinikanth, V.; Lin, Hong; Panneerselvam, John; Raja, N. Sri Madhava
Examination of retinal anatomical structures – a study with Spider Monkey Optimization Algorithm. (English) Zbl 07326252
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 177-197 (2020).
MSC:  92C55 90C59
PDF BibTeX XML Cite
\textit{V. Rajinikanth} et al., in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 177--197 (2020; Zbl 07326252)
Full Text: DOI
Saxena, Akash; Kumar, Rajesh
Chaotic variants of grasshopper optimization algorithm and their application to protein structure prediction. (English) Zbl 07326251
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 151-175 (2020).
MSC:  92D20 90C59
PDF BibTeX XML Cite
\textit{A. Saxena} and \textit{R. Kumar}, in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 151--175 (2020; Zbl 07326251)
Full Text: DOI
Wang, Shui-Hua; Yang, Ming; Liu, Shuai; Zhang, Yu-Dong
Sensorineural hearing loss identification via discrete wavelet packet entropy and cat swarm optimization. (English) Zbl 07326250
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 129-150 (2020).
MSC:  92C55 90C59
PDF BibTeX XML Cite
\textit{S.-H. Wang} et al., in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 129--150 (2020; Zbl 07326250)
Full Text: DOI
Reddy, Srikanth; Panwar, Lokesh; Panigrahi, B. K.; Kumar, Rajesh; Alsumaiti, Ameena Saad
An application of binary grey wolf optimizer (BGWO) variants for unit commitment problem. (English) Zbl 07326249
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 97-127 (2020).
MSC:  91B74 90C59
PDF BibTeX XML Cite
\textit{S. Reddy} et al., in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 97--127 (2020; Zbl 07326249)
Full Text: DOI
Moraes, C. A.; De Oliveira, E. J.; Khosravy, M.; Oliveira, L. W.; Honório, L. M.; Pinto, M. F.
A hybrid bat-inspired algorithm for power transmission expansion planning on a practical Brazilian network. (English) Zbl 07326248
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 71-95 (2020).
MSC:  91B74 90C59
PDF BibTeX XML Cite
\textit{C. A. Moraes} et al., in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 71--95 (2020; Zbl 07326248)
Full Text: DOI
Pop, Cristina Bianca; Chifu, Viorica Rozina; Dragoi, Nicolae; Salomie, Ioan; Chifu, Emil Stefan
Recommending healthy personalized daily menus – a Cuckoo Search-based hyper-heuristic approach. (English) Zbl 07326247
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 41-70 (2020).
MSC:  92C30 90C59
PDF BibTeX XML Cite
\textit{C. B. Pop} et al., in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 41--70 (2020; Zbl 07326247)
Full Text: DOI
Sasikala, S.; Ezhilarasi, M.; Kumar, S. Arun
Detection of breast cancer using fusion of MLO and CC view features through a hybrid technique based on binary firefly algorithm and optimum-path forest classifier. (English) Zbl 07326246
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 23-40 (2020).
MSC:  92C55 90C59
PDF BibTeX XML Cite
\textit{S. Sasikala} et al., in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 23--40 (2020; Zbl 07326246)
Full Text: DOI
Khosravy, Mahdi; Gupta, Neeraj; Patel, Nilesh; Senjyu, Tomonobu; Duque, Carlos A.
Particle swarm optimization of morphological filters for electrocardiogram baseline drift estimation. (English) Zbl 07326245
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 1-21 (2020).
MSC:  92C55 90C59
PDF BibTeX XML Cite
\textit{M. Khosravy} et al., in: Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. 1--21 (2020; Zbl 07326245)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Biographic Reference
all top 3
Software