المؤلفون: Xiaojun Xie, Saratha Sathasivam, Hong Ma

المصدر: AIMS Mathematics, Vol 9, Iss 10, Pp 28100-28129 (2024)

مصطلحات موضوعية: discrete hopfield neural network, 3sat, genetic algorithm, k-modes clustering, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2473-6988

URL الوصول: https://doaj.org/article/8e88b874c68b4f8e8369b969ba444734

المؤلفون: Farah Liyana Azizan, Saratha Sathasivam, Nurshazneem Roslan, Ahmad Deedat Ibrahim

المصدر: AIMS Mathematics, Vol 9, Iss 2, Pp 3150-3173 (2024)

مصطلحات موضوعية: 3sat, covid-19, fuzzy logic system, hopfield neural network, logic mining, metaheuristic algorithms, reverse analysis, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2473-6988

URL الوصول: https://doaj.org/article/ac14728dbef64d25b026da221d08b6be

المؤلفون: Baraskar, Omkar, Dewan, Agrim, Saha, Chandan, Sinha, Pulkit

المساهمون: Omkar Baraskar and Agrim Dewan and Chandan Saha and Pulkit Sinha

مصطلحات موضوعية: Equivalence testing, MCSP, sparse polynomials, 3SAT

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 297, 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.16

الاتاحة: https://doi.org/10.4230/LIPIcs.ICALP.2024.16
https://nbn-resolving.org/urn:nbn:de:0030-drops-201598
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.16

المؤلفون: Deleplanque, Samuel

المساهمون: Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-JUNIA (JUNIA), Université catholique de Lille (UCL)-Université catholique de Lille (UCL), Acoustique - IEMN (ACOUSTIQUE - IEMN), Université catholique de Lille (UCL)-Université catholique de Lille (UCL)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-JUNIA (JUNIA), JUNIA (JUNIA), Université catholique de Lille (UCL), no information in the text

المصدر: Lecture Notes in Computer Science book series (LNCS, volume 14104) ; 23rd International Conference on Computational Science and Its Applications, ICCSA 2023 Workshops ; https://hal.science/hal-04172858 ; 23rd International Conference on Computational Science and Its Applications, ICCSA 2023 Workshops, Jul 2023, Athens, Greece. pp.429-439, ⟨10.1007/978-3-031-37105-9_29⟩ ; https://link.springer.com/chapter/10.1007/978-3-031-37105-9_29

مصطلحات موضوعية: Quantum Computing, Quantum Annealing, 3SAT, Maximum Independent Set, Combinatorial optimization, [PHYS]Physics [physics], [SPI]Engineering Sciences [physics]

جغرافية الموضوع: Athens, Greece

Relation: hal-04172858; https://hal.science/hal-04172858; https://hal.science/hal-04172858/document; https://hal.science/hal-04172858/file/3SAT.Proof.LNCS.546341_1_En_29_Chapter_Author.pdf

الاتاحة: https://hal.science/hal-04172858
https://hal.science/hal-04172858/document
https://hal.science/hal-04172858/file/3SAT.Proof.LNCS.546341_1_En_29_Chapter_Author.pdf
https://doi.org/10.1007/978-3-031-37105-9_29

المؤلفون: Deleplanque, Samuel

المساهمون: Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-JUNIA (JUNIA), Université catholique de Lille (UCL)-Université catholique de Lille (UCL), Acoustique - IEMN (ACOUSTIQUE - IEMN), Université catholique de Lille (UCL)-Université catholique de Lille (UCL)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-JUNIA (JUNIA)

المصدر: Emerging optimization methods: from metaheuristics to quantum approaches ; https://hal.science/hal-04037331 ; Emerging optimization methods: from metaheuristics to quantum approaches, Apr 2023, Troyes, France

مصطلحات موضوعية: Quantum Computing, Optimization, Combinatorial optimization, 3SAT, MIS, [INFO]Computer Science [cs], [MATH]Mathematics [math], [PHYS]Physics [physics]

جغرافية الموضوع: Troyes, France

Relation: hal-04037331; https://hal.science/hal-04037331; https://hal.science/hal-04037331/document; https://hal.science/hal-04037331/file/EUME_JE.SamPaper.pdf

الاتاحة: https://hal.science/hal-04037331
https://hal.science/hal-04037331/document
https://hal.science/hal-04037331/file/EUME_JE.SamPaper.pdf

المؤلفون: Sebastian Zielinski, Jonas Nüßlein, Jonas Stein, Thomas Gabor, Claudia Linnhoff-Popien, Sebastian Feld

المصدر: Electronics; Volume 12; Issue 16; Pages: 3492

مصطلحات موضوعية: quantum annealing, pattern QUBO, automatic QUBO generation, QUBO, Ising, satisfiability, 3SAT, combinatorial optimization

وصف الملف: application/pdf

Relation: Quantum Electronics; https://dx.doi.org/10.3390/electronics12163492

الاتاحة: https://doi.org/10.3390/electronics12163492

المؤلفون: Osamu WATANABE, Tong QIN

المصدر: IEICE Transactions on Information and Systems. 2022, E105.D(3):481

المؤلفون: Abu Doush Iyad, Quran Amal Lutfi, Al-Betar Mohammed Azmi, Awadallah Mohammed A.

المصدر: Journal of Intelligent Systems, Vol 27, Iss 4, Pp 643-658 (2018)

مصطلحات موضوعية: maximum satisfiability problem, harmony search, local search, optimization, 3sat problem, evolutionary algorithms, max-sat problem, metaheuristic, Science, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/0334-1860; https://doaj.org/toc/2191-026X

URL الوصول: https://doaj.org/article/f5165b87acc8457fb0e037462516ffae

المؤلفون: Zielinski, Sebastian (author), Gabor, Thomas (author), Nüßlein, Jonas (author), Linnhoff-Popien, Claudia (author), Stein, Jonas (author), Feld, S. (author)

مصطلحات موضوعية: 3sat, ising, quantum annealing, qubo, satisfiability

Relation: http://www.scopus.com/inward/record.url?scp=85169007862&partnerID=8YFLogxK; GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion--9798400701207; 2023 Genetic and Evolutionary Computation Conference Companion, GECCO 2023 Companion--68db063d-1215-4e0c-a6a9-9aa26fa07d44; http://resolver.tudelft.nl/uuid:2d9f9c36-fb70-4e41-8ab2-b5c38978cf6a; https://doi.org/10.1145/3583133.3596330

الاتاحة: http://resolver.tudelft.nl/uuid:2d9f9c36-fb70-4e41-8ab2-b5c38978cf6a
https://doi.org/10.1145/3583133.3596330

المؤلفون: Deleplanque, S. (Samuel)

المساهمون: Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-JUNIA (JUNIA), Université catholique de Lille (UCL)-Université catholique de Lille (UCL), Acoustique - IEMN (ACOUSTIQUE - IEMN), Université catholique de Lille (UCL)-Université catholique de Lille (UCL)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-JUNIA (JUNIA), Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 [IEMN], Acoustique - IEMN [ACOUSTIQUE - IEMN]

المصدر: Emerging optimization methods: from metaheuristics to quantum approaches
Emerging optimization methods: from metaheuristics to quantum approaches, Apr 2023, Troyes, France

مصطلحات موضوعية: Quantum Computing, Optimization, Combinatorial optimization, 3SAT, MIS, [PHYS]Physics [physics], [INFO]Computer Science [cs], [MATH]Mathematics [math]

وصف الملف: application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::25c3d93071cd2532d5634efdb236b736
https://hal.science/hal-04037331/document

المؤلفون: Frank Vega

مصطلحات موضوعية: Complexity Classes, Completeness, Polynomial Time, MONOTONE 1-IN-3 3SAT, 2SET PACKING

Relation: https://doi.org/10.5281/zenodo.3237140; https://doi.org/10.5281/zenodo.3237141; oai:zenodo.org:3237141

الاتاحة: https://doi.org/10.5281/zenodo.3237141

المؤلفون: Frank Vega

مصطلحات موضوعية: Complexity Classes, Completeness, Polynomial Time, 3SAT, Quadratic Residue

Relation: https://doi.org/10.5281/zenodo.1285951; https://doi.org/10.5281/zenodo.1286204; oai:zenodo.org:1286204

الاتاحة: https://doi.org/10.5281/zenodo.1286204

المؤلفون: Dumitrescu, Cristian

المساهمون: Independent Researcher, Chercheur indépendant

المصدر: https://hal.archives-ouvertes.fr/hal-01781617 ; 2018.

مصطلحات موضوعية: Markov chains, 3SAT, NP-complete problems, [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Relation: hal-01781617; https://hal.archives-ouvertes.fr/hal-01781617; https://hal.archives-ouvertes.fr/hal-01781617v4/document; https://hal.archives-ouvertes.fr/hal-01781617v4/file/SAT60500.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-01781617
https://hal.archives-ouvertes.fr/hal-01781617v4/document
https://hal.archives-ouvertes.fr/hal-01781617v4/file/SAT60500.pdf

المؤلفون: Attali, Dominique, Lieutier, André

المساهمون: GIPSA - Architecture, Géométrie, Perception, Images, Gestes (GIPSA-AGPIG), Département Images et Signal (GIPSA-DIS), Grenoble Images Parole Signal Automatique (GIPSA-lab), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Grenoble Images Parole Signal Automatique (GIPSA-lab), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), Modélisation Géométrique & Multirésolution pour l'Image (MGMI), Laboratoire Jean Kuntzmann (LJK), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), David Kirkpatrick and Joseph Mitchell, ANR-09-BLAN-0331,GIGA(2009)

المصدر: SoCG 2010 - 26th Annual Symposium on Computational Geometry ; https://hal.science/hal-00468602 ; SoCG 2010 - 26th Annual Symposium on Computational Geometry, Jun 2010, Snowbird, Utah, United States. pp.334-343, ⟨10.1145/1810959.1811014⟩

مصطلحات موضوعية: Shape reconstruction, topological persistence, homological simplification, sampling conditions, 3SAT, NP-completeness, ACM : F.2.2., I.3.5, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]

جغرافية الموضوع: Snowbird, Utah, United States

Relation: hal-00468602; https://hal.science/hal-00468602; https://hal.science/hal-00468602/document; https://hal.science/hal-00468602/file/2010-socg-homological-simplification.pdf

الاتاحة: https://hal.science/hal-00468602
https://hal.science/hal-00468602/document
https://hal.science/hal-00468602/file/2010-socg-homological-simplification.pdf
https://doi.org/10.1145/1810959.1811014

المؤلفون: Choi, Vicky

المساهمون: University of British Columbia. Department of Physics and Astronomy, Workshop on Quantum Algorithms, Computational Models and Foundations of Quantum Mechanics, Pacific Institute for the Mathematical Sciences, Summer School on Quantum Information (10th : 2010 : Vancouver, B.C.)

مصطلحات موضوعية: Adiabatic Quantum Algorithm, NP-complete, Maximum Independent Set, Exact Cover, 3SAT

Relation: http://hdl.handle.net/2429/30067

الاتاحة: http://hdl.handle.net/2429/30067

المؤلفون: Dumitrescu, Cristian

المساهمون: Chercheur indépendant

المصدر: https://hal.archives-ouvertes.fr/hal-01500700 ; 2017.

مصطلحات موضوعية: NP-complete problems, 3SAT, [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Relation: hal-01500700; https://hal.archives-ouvertes.fr/hal-01500700; https://hal.archives-ouvertes.fr/hal-01500700/document; https://hal.archives-ouvertes.fr/hal-01500700/file/SAT5700.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-01500700
https://hal.archives-ouvertes.fr/hal-01500700/document
https://hal.archives-ouvertes.fr/hal-01500700/file/SAT5700.pdf

المؤلفون: Dumitrescu, Cristian

المساهمون: Chercheur indépendant

المصدر: https://hal.archives-ouvertes.fr/hal-01483020 ; 2017.

مصطلحات موضوعية: 3SAT, NP-complete problems, [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Relation: hal-01483020; https://hal.archives-ouvertes.fr/hal-01483020; https://hal.archives-ouvertes.fr/hal-01483020v5/document; https://hal.archives-ouvertes.fr/hal-01483020v5/file/SAT32500.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-01483020
https://hal.archives-ouvertes.fr/hal-01483020v5/document
https://hal.archives-ouvertes.fr/hal-01483020v5/file/SAT32500.pdf

المؤلفون: Mathews, Pranav Oommen

المساهمون: Hasler, Jennifer, Anderson, David, Datta, Suman, Electrical and Computer Engineering

مصطلحات موضوعية: Hopfield, Ising, NP-hard, max-cut, TSP, 3SAT

وصف الملف: application/pdf

Relation: https://hdl.handle.net/1853/75570

الاتاحة: https://hdl.handle.net/1853/75570

المؤلفون: Kavka, Carlos, Roggero, Patricia

مصطلحات موضوعية: Ciencias Informáticas, Neural nets, Resolución de problemas 3SAT, ARTIFICIAL INTELLIGENCE, redes neuronales

وصف الملف: application/pdf

Relation: http://sedici.unlp.edu.ar/handle/10915/21669

الاتاحة: http://sedici.unlp.edu.ar/handle/10915/21669

المؤلفون: Dominique Attali, André Lieutier

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.archives-ouvertes.fr/docs/00/46/86/02/PDF/2010-socg-homological-simplification.pdf.

مصطلحات موضوعية: homological simplification, NP-completeness, 3SAT

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.9055; http://hal.archives-ouvertes.fr/docs/00/46/86/02/PDF/2010-socg-homological-simplification.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.9055
http://hal.archives-ouvertes.fr/docs/00/46/86/02/PDF/2010-socg-homological-simplification.pdf