Sebastiaan Brand

According to our database, Sebastiaan Brand authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Hybrid divide-and-conquer approach for tree search algorithms.

Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko

Quantum, March, 2023

Efficient Implementation of LIMDDs for Quantum Circuit Simulation.

Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Quantum Graph-State Synthesis with SAT.

Sebastiaan Brand, Tim Coopmans, Alfons Laarman

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023

A Decision Diagram Operation for Reachability.

Sebastiaan Brand, Thomas Bäck, Alfons Laarman

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

FM 2023 Artefact for "A Decision Diagram Operation for Reachability".

Sebastiaan Brand, Thomas Bäck, Alfons Laarman

Dataset, November, 2022

2020

Efficient Computation of the Waiting Time and Fidelity in Quantum Repeater Chains.

Sebastiaan Brand, Tim Coopmans, David Elkouss

IEEE J. Sel. Areas Commun., 2020