Robert Clausecker

According to our database, Robert Clausecker authored at least 4 papers between 2019 and 2023.

Collaborative distances:

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

2023

Transcoding unicode characters with AVX-512 instructions.

Robert Clausecker, Daniel Lemire

Softw. Pract. Exp., December, 2023

Prioritised Unit Propagation by Partitioning the Watch Lists.

Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis

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

2021

A Measure of Quality for IDA* Heuristics.

Robert Clausecker, Florian Schintke

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

2019

Zero-Aware Pattern Databases with 1-Bit Compression for Sliding Tile Puzzles.

Robert Clausecker, Alexander Reinefeld

Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019