共 50 条
- [31] The minimal logically-defined NP-complete problem STACS 2004, PROCEEDINGS, 2004, 2996 : 338 - 349
- [36] An NP-complete fragment of fibring logic Annals of Mathematics and Artificial Intelligence, 2015, 75 : 391 - 417
- [39] Perfectly packing a cube by cubes of nearly harmonic sidelength CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 2023, 66 (03): : 1061 - 1071