CaDiCaL , Kissat , Paracooba , Plingeling and Treengeling entering the SAT Competition 2020

Armin Biere, Katalin Fazekas, Mathias Fleury, Maximilian Heisinger · 2020

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

quant-ph · 2025-06-07 · conditional · novelty 7.0

A SAT-based tool, QuilLS, finds depth-optimal or CX-depth-optimal qubit mappings and runs 10-100x faster than the previous exact tool OLSQ2.

Showing 1 of 1 citing paper.

Depth-Optimal Quantum Layout Synthesis as SAT quant-ph · 2025-06-07 · conditional · none · ref 2
A SAT-based tool, QuilLS, finds depth-optimal or CX-depth-optimal qubit mappings and runs 10-100x faster than the previous exact tool OLSQ2.