共 50 条
- [42] Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs 2020 22ND INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2020), 2020, : 84 - 92
- [44] AN ALGORITHM FOR FINDING A MINIMAL RECURSIVE PATH ORDERING RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1985, 19 (04): : 359 - 382
- [47] Minimal Trellis for Systematic Recursive Convolutional Encoders 2011 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS (ISIT), 2011,