共 50 条
- [42] A Space-Efficient Parameterized Algorithm for the Hamiltonian Cycle Problem by Dynamic Algebraization COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2019, 11532 : 38 - 49
- [46] New space-efficient quantum algorithm for binary elliptic curves using the optimized division algorithm Quantum Information Processing, 22
- [49] Space-efficient bounded model checking DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 686 - 687