共 50 条
- [35] Decision Problems for Reversible and Permutation Automata IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2024, 2024, 15015 : 302 - 315
- [36] Dual modelling of permutation and injection problems Hnich, B. (BRAHIM@4C.UCC.IE), 1600, American Association for Artificial Intelligence (21):
- [39] Certifying solutions to permutation group problems AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 258 - 273
- [40] Enhanced Forma Analysis of Permutation Problems GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 923 - 930