@incollection{Hartmanis-Chari/94,
AUTHOR = {Hartmanis, Juris and Chari, Suresh},
TITLE = {On the intellectual terrain around $NP$},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {1-11},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Garg-Tamassia/94,
AUTHOR = {Garg, Ashim and Tamassia, Roberto},
TITLE = {Advances in graph drawing},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {12-21},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sahinalp-Vishkin/94a,
AUTHOR = {Sahinalp, Suleyman Cenk and Vishkin, Uzi},
TITLE = {On a parallel-algorithms method for string matching problems (overview)},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {22-32},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yannakakis/94a,
AUTHOR = {Yannakakis, Mihalis},
TITLE = {Some open problems in approximation},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {33-39},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alimonti/94,
AUTHOR = {Alimonti, Paola},
TITLE = {New local search approximation techniques for maximum generalized satisfiability problems},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {40-53},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bergadano-Varricchio/94,
AUTHOR = {Bergadano, F. and Varricchio, S.},
TITLE = {Learning behaviors of automata from multiplicity and equivalence queries},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {54-62},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bernasconi-Codenotti/94,
AUTHOR = {Bernasconi, A. and Codenotti, B.},
TITLE = {Measures of Boolean function complexity based on harmonic analysis},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {63-72},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clementi-Impagliazzo/94,
AUTHOR = {Clementi, A. and Impagliazzo, R.},
TITLE = {Graph theory and interactive protocols for reachability problems on finite cellular automata},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {73-90},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dekel-Hu/94a,
AUTHOR = {Dekel, Eliezer and Hu, Jie},
TITLE = {Parallel pruning decomposition (PDS) and biconnected components of graphs},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {91-108},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{di_Crescenzo/94,
AUTHOR = {di Crescenzo, Giovanni},
TITLE = {A non-interactive electronic cash system},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {109-124},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Even-Litman/94a,
AUTHOR = {Even, Shimon and Litman, Ami},
TITLE = {A unified scheme for routing in expander based networks},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {125-135},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Frigioni-Marchetti-Spaccamela-Nanni/94,
AUTHOR = {Frigioni, Daniele and Marchetti-Spaccamela, Alberto and Nanni, Umberto},
TITLE = {Dynamization of backtrack-free search for the constraint satisfaction problem},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {136-151},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hofri-Shachnai/94,
AUTHOR = {Hofri, Micha and Shachnai, Hadas},
TITLE = {Efficient reorganization of binary search trees},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {152-166},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Israeli-Kranakis-Krizanc-Santoro/94,
AUTHOR = {Israeli, Amos and Kranakis, Evangelos and Krizanc, Danny and Santoro, Nicola},
TITLE = {Time-message trade-offs for the weak unison problem},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {167-178},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lam-Lee/94,
AUTHOR = {Lam, Tak Wah and Lee, Ka Hing},
TITLE = {On set equality-testing},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {179-191},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Monti-Roncato/94,
AUTHOR = {Monti, Angelo and Roncato, Alessandro},
TITLE = {On the complexity of some reachability problems},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {192-202},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mundhenk/94,
AUTHOR = {Mundhenk, Martin},
TITLE = {On self-reducible sets of low information content},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {203-212},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}