Up a level |
Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (1999) SAT-Based Decision Procedures for Classical Modal Logics. UNSPECIFIED.
Kapoor, Ajai and Rizzi, Romeo (1999) EdgeColoring Bipartite Graphs. UNSPECIFIED.
Rizzi, Romeo (1999) Indecomposable r-graphs and some other counterexamples. UNSPECIFIED.
Rizzi, Romeo (1999) König's Edge Coloring Theorem without augmenting paths. UNSPECIFIED.
Rizzi, Romeo (1999) On 4-connected graphs without even cycle decompositions. UNSPECIFIED.
Rizzi, Romeo (1999) On minimizing symmetric set functions. UNSPECIFIED.
Rizzi, Romeo (1999) A note on range-restricted circuit covers. UNSPECIFIED.
Rizzi, Romeo (1999) A short proof of König's matching theorem. UNSPECIFIED.