Items where Department is "Information Engineering and Computer Science" and Year is 1999

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Authors(s) | Item Type | No Grouping
Number of items: 8.

Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (1999) SAT-Based Decision Procedures for Classical Modal Logics. UNSPECIFIED.

Kapoor, Ajai and Rizzi, Romeo (1999) Edge­Coloring 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.

This list was generated on Fri Apr 19 01:01:07 2024 CEST.