Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Pascal Schweitzer

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Markus Anders

> Home > Persons > Pascal Schweitzer

Publications

2023
[c43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sat/AndersSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AndersSS23
Markus Anders, Pascal Schweitzer, Mate Soos:
Algorithms Transcending the SAT-Symmetry Interface. SAT 2023: 1:1-1:21
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wea/AndersSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wea/AndersSS23
Markus Anders, Pascal Schweitzer, Julian Stieß:
Engineering a Preprocessor for Symmetry Detection. SEA 2023: 1:1-1:21
[i37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-06351
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-06351
Markus Anders, Pascal Schweitzer, Julian Stieß:
Engineering a Preprocessor for Symmetry Detection. CoRR abs/2302.06351 (2023)
[i36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-00613
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-00613
Markus Anders, Pascal Schweitzer, Mate Soos:
Algorithms Transcending the SAT-Symmetry Interface. CoRR abs/2306.00613 (2023)
2021
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/alenex/AndersS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alenex/AndersS21
Markus Anders, Pascal Schweitzer:
Engineering a Fast Probabilistic Isomorphism Test. ALENEX 2021: 73-84
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esa/AndersS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esa/AndersS21
Markus Anders, Pascal Schweitzer:
Parallel Computation of Combinatorial Symmetries. ESA 2021: 6:1-6:18
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/AndersSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/AndersSW21
Markus Anders, Pascal Schweitzer, Florian Wetzels:
Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case. ICALP 2021: 15:1-15:15
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/AndersS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/AndersS21
Markus Anders, Pascal Schweitzer:
Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms. ICALP 2021: 16:1-16:21
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/isaac/AndersBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaac/AndersBS21
Markus Anders, Jendrik Brachter, Pascal Schweitzer:
A Characterization of Individualization-Refinement Trees. ISAAC 2021: 24:1-24:14
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-10244
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-10244
Markus Anders, Pascal Schweitzer, Florian Wetzels:
Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case. CoRR abs/2103.10244 (2021)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-04590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-04590
Markus Anders, Pascal Schweitzer:
Parallel Computation of Combinatorial Symmetries. CoRR abs/2108.04590 (2021)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-07302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-07302
Markus Anders, Jendrik Brachter, Pascal Schweitzer:
A Characterization of Individualization-Refinement Trees. CoRR abs/2109.07302 (2021)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-04314
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-04314
Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer:
Trainability for Universal GNNs Through Surgical Randomness. CoRR abs/2112.04314 (2021)
2020
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-01726
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-01726
Markus Anders, Pascal Schweitzer:
Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms. CoRR abs/2011.01726 (2020)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-09375
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-09375
Markus Anders, Pascal Schweitzer:
Engineering a Fast Probabilistic Isomorphism Test. CoRR abs/2011.09375 (2020)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.