1. Armin Biere Katalin Fazekas Mathias Fleury and Maximillian Heisinger. CaDiCaL Kissat Paracooba Plingeling and Treengeling entering the SAT Competition 2020. In Tomas Balyo Nils Froleyks Marijn Heule Markus Iser Matti Järvisalo and Martin Suda editors Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions volume B-2020-1 of Department of Computer Science Report Series B pages 51--53. University of Helsinki 2020.
2. Armin Biere and Mathias Fleury. Gimsatul IsaSAT and Kissat entering the SAT Competition 2022. In Tomas Balyo Marijn Heule Markus Iser Matti Järvisalo and Martin Suda editors Proc. of SAT Competition 2022 - Solver and Benchmark Descriptions volume B-2022-1 of Department of Computer Science Series of Publications B pages 10--11. University of Helsinki 2022.
3. Sergey Bravyi, Jay M. Gambetta, Antonio Mezzacapo, and Kristan Temme. Tapering off qubits to simulate fermionic hamiltonians, 2017.
4. Fermionic Quantum Computation
5. Riley W. Chien, Sha Xue, Tarini S. Hardikar, Kanav Setia, and James D. Whitfield. Analysis of superfast encoding performance for electronic structure simulations. Physical Review A, 100(3), sep 2019.