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
[2]
Hilfe
Suche: Author="Domingo, Carlos"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Non-automatizability of bounded-depth Frege proofs
Maria Luisa Bonet
,
Carlos Domingo
,
Ricard GavaldÃ
,
Alexis Maciel
,
Toniann Pitassi
Proceedings of the 14th Annual IEEE Conference on Computational Complexity (Atlanta, Georgia, May 4-6, 1999)
, 1999, pp. 15-23
A role of constraint in self-organization
Carlos Domingo
,
Osamu Watanabe
,
Tadashi Yamazaki
Lecture Notes in Computer Science
1518
, 1998, pp. 307-318
Partial Occam's razor and its applications
Carlos Domingo
,
Tatsuie Tsukiji
,
Osamu Watanabe
Information Processing Letters
64
(4), 1997, pp. 179-185
Polynomial time algorithms for some self-duality problems
Carlos Domingo
Lecture Notes in Computer Science
1203
, 1997, pp. 171-180
Polynomial time algorithms for some self-duality problems
Carlos Domingo
Lecture Notes in Computer Science
1203
, 1997, pp. 171-180
Exact learning of subclasses of CDNF formulas with membership queries
Carlos Domingo
Lecture Notes in Computer Science
1090
, 1996, pp. 179-188