Robert Clausecker

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Sliding Tile Puzzles

Pattern Databases

Top Venues

Softw. Pract. Exp.

Publications

Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis
Prioritised Unit Propagation by Partitioning the Watch Lists. POS@SAT (2023)
Robert Clausecker, Daniel Lemire
Transcoding unicode characters with AVX-512 instructions. Softw. Pract. Exp. 53 (12) (2023)
Robert Clausecker, Daniel Lemire
Transcoding Unicode Characters with AVX-512 Instructions. CoRR (2022)
Robert Clausecker, Florian Schintke
A Measure of Quality for IDA* Heuristics. SOCS (2021)
Robert Clausecker, Alexander Reinefeld
Zero-Aware Pattern Databases with 1-Bit Compression for Sliding Tile Puzzles. SOCS (2019)