Search results
- CiteSeerX 10.1.1.651.7964, doi:10.1007/978-3-642-39634-2_14, ISBN 978-3-642-39633-5, S2CID 1855636 Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor...14 KB (1,352 words) - 22:41, 19 January 2024
CiteSeerX 10.1.1.651.7964, doi:10.1007/978-3-642-39634-2_14, ISBN 978-3-642-39633-5, S2CID 1855636 Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor... 14 KB (1,352 words) - 22:41, 19 January 2024 |