Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Schaerf, Marco"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Preprocessing of intractable problems
Marco Cadoli
,
Francesco M. Donini
,
Paolo Liberatore
,
Marco Schaerf
Information and Computation
176
(2), 2002, pp. 89-120
Belief revision and update: Complexity of model checking
Paolo Liberatore
,
Marco Schaerf
Journal of Computer and System Sciences
62
(1), 2001, pp. 43-72
On compact representations of propositional circumscription
Marco Cadoli
,
Francesco M. Donini
,
Marco Schaerf
,
Riccardo Silvestri
Theoretical Computer Science
182
(1-2), 1997, pp. 183-202
Feasibility and unfeasibility of off-line processing
Marco Cadoli
,
Francesco M. Donini
,
Paolo Liberatore
,
Marco Schaerf
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 100-109
On compact representations of propositional circumscription
Marco Cadoli
,
Francesco M. Donini
,
Marco Schaerf
Lecture Notes in Computer Science
900
, 1995, pp. 205-216