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