Showing 1 - 8 results of 8 for search 'ISOMORPHISMS' Narrow Search
Search Tools: Email this Search — Save search to account
1
Conference
Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

Authors: Roberson, David E., Seppelt, Tim Frederik

Superior Title: Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics 261, 101:1-101:18 (2023). doi:10.4230/LIPICS.ICALP.2023.101 ; 50th International Colloquium on Automata, Languages and Programming (ICALP 2023) / Herausgeber: Kousha Etessami, Uriel Feige, Gabriele Puppis ; 50th International Colloquium on Automata, Languages and Programming (ICALP 2023) / Herausgeber: Kousha Etessami, Uriel Feige, Gabriele Puppis 50. International Colloquium on Automata, Languages and Programming, ICALP 2023, Paderborn, Germany, 2023-07-10 - 2023-07-14

Subject Terms: Lasserre hierarchy, Mathematics of computing → Combinatorics, Mathematics of computing → Graph theory, Sherali-Adams hierarchy, graph isomorphism, homomorphism indistinguishability, linear programming, semidefinite programming, treewidth

Subject Geographic: DE

Relation: https://publications.rwth-aachen.de/record/960915; https://publications.rwth-aachen.de/search?p=id:%22RWTH-2023-06507%22

Availability: https://doi.org/10.4230/LIPICS.ICALP.2023.101
https://doi.org/10.18154/RWTH-2023-06507
https://publications.rwth-aachen.de/record/960915
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2023-06507%22


Save to List
2
Conference
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs

Authors: Grohe, Martin, Kiefer, Sandra

Superior Title: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Leibniz International Proceedings in Informatics 198, 134:1-134:20 (2021). doi:10.4230/LIPICS.ICALP.2021.134 ; 48th International Colloquium on Automata, Languages, and Programming : ICALP 2021, July 12-16, 2021, Glasgow, Scotland (virtual conference) / edited by Nikhil Bansal, Emanuela Merelli, James Worrell ; 48th International Colloquium on Automata, Languages, and Programming : ICALP 2021, July 12-16, 2021, Glasgow, Scotland (virtual conference) / edited by Nikhil Bansal, Emanuela Merelli, James Worrell 48. International Colloquium on Automata, Languages, and Programming, ICALP 2021, online, 2021-07-12 - 2021-07-16

Subject Terms: Mathematics of computing → Graph theory, Theory of computation → Finite Model Theory, Weisfeiler-Leman algorithm, finite-variable logic, isomorphism testing, iteration number, planar graphs, quantifier depth

Subject Geographic: DE

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-195-5; https://publications.rwth-aachen.de/record/821975; https://publications.rwth-aachen.de/search?p=id:%22RWTH-2021-06468%22

Availability: https://doi.org/10.4230/LIPICS.ICALP.2021.134
https://doi.org/10.18154/RWTH-2021-06468
https://publications.rwth-aachen.de/record/821975
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2021-06468%22


Save to List
6
Dissertation/ Thesis
The power of algorithmic approaches to the graph isomorphism problem

Authors: Neuen, Daniel

Contributors: Grohe, Martin, Schweitzer, Pascal, Babai, László

Superior Title: Aachen 1 Online-Ressource (vi, 148 Seiten) : Illustrationen (2019). doi:10.18154/RWTH-2020-00160 = Dissertation, RWTH Aachen University, 2019

Subject Terms: info:eu-repo/classification/ddc/004, algorithms, computational complexity, graph isomorphism

Subject Geographic: DE

Relation: https://publications.rwth-aachen.de/record/775652; https://publications.rwth-aachen.de/search?p=id:%22RWTH-2020-00160%22

Availability: https://doi.org/10.18154/RWTH-2020-00160
https://publications.rwth-aachen.de/record/775652
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2020-00160%22


Save to List
7
Conference
Efficient Reversible Logic Synthesis via Isomorphic Subgraph Matching

Authors: Krishna, Mridul, Chattopadhyay, Anupam

Superior Title: Piscataway, NJ : IEEE 103-108 (2014). doi:10.1109/ISMVL.2014.26 ; 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL 2014) : Bremen, Germany, 19 - 21 May 2014 / [Universiät Bremen; IEEE Computer Society] ; 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL 2014) : Bremen, Germany, 19 - 21 May 2014 / [Universiät Bremen; IEEE Computer Society] 44. International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, 2014-05-19 - 2014-05-21

Subject Terms: graph theory, logic circuits, logic design, low-power electronics, nanoelectronics, pattern matching, BDD, binary decision diagrams, circuit lines, isomorphic subgraph matching, nanoscale circuit design, quantum computing, quantum cost, reversible logic circuit synthesis, reversible-circuit templates, subgraph isomorphism problem, subgraph mapping, ultra-low power dissipation, Algorithm design and analysis, Boolean functions, Data structures, Electronic mail, Logic gates, Optimization methods, Vectors, Binary Decision Diagram, Reversible Logic, Subgraph Isomorphism

Subject Geographic: DE

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000361020700018; info:eu-repo/semantics/altIdentifier/isbn/978-1-4799-3534-5; info:eu-repo/semantics/altIdentifier/issn/0195-623X; info:eu-repo/semantics/altIdentifier/isbn/978-1-4799-3536-9; https://publications.rwth-aachen.de/record/460232; https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-206779%22

Availability: https://doi.org/10.1109/ISMVL.2014.26
https://publications.rwth-aachen.de/record/460232
https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-206779%22


Save to List