Searching for authors named "Martha Sideri" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
On Horn Envelopes and Hypergraph Transversals (Extended Abstract)
- …;4 Christos H. Papadimitriou 2;4;5 Martha Sideri 3;4 Abstract: We study the problem of bounding from above…
- Cited by 33 (4 self) – Add To MetaCart
-
On the Floyd-Warshall Algorithm for Logic Programs
- … Science, U. C. Berkeley, Berkeley, CA 94720 Martha Sideri Athens University of Economics and Business…
- Add To MetaCart
-
The Inverse Satisfiability Problem
- …THE INVERSE SATISFIABILITY PROBLEM DIMITRIS KAVVADIAS y AND MARTHA SIDERI z SIAM J. COMPUT…
- Cited by 26 (5 self) – Add To MetaCart
-
On The Optimal Bisection Of A Polygon
- …;2 and Martha Sideri 3 ABSTRACT:We show that bisecting a polygon into two equal (possibly disconnected) parts…
- Cited by 7 (0 self) – Add To MetaCart
-
On the Evolution of Easy Instances
- …On the Evolution of Easy Instances Christos H. Papadimitriou christos@(email omitted); Martha…
- Cited by 1 (0 self) – Add To MetaCart
-
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning
- … Scarcello 1 , and Martha Sideri 2 1 Institut fur Informationssysteme, Technische Universitat Wien A-1040…
- Cited by 9 (1 self) – Add To MetaCart
-
Incremental recompilation of Knowledge
- … Christos H. Papadimitriou christos@(email omitted); University of California at Berkeley Martha Sideri…
- Cited by 22 (2 self) – Add To MetaCart
-
Generating All Maximal Models of a Boolean Expression
- …Generating All Maximal Models of a Boolean Expression Dimitris J. Kavvadias a , Martha Sideri b…
- Cited by 15 (7 self) – Add To MetaCart
-
On the Maximal Models of Horn Formulas
- … Technology Institute On the Maximal Models of Horn Formulas Dimitris J. Kavvadias 1;4 , Martha Sideri 2…
- Cited by 1 (1 self) – Add To MetaCart
-
Linked Decompositions of Networks and the Power of Choice in Polya Urns
- … Amanatidis † Martha Sideri ‡ Richard M. Karp § Christos H. Papadimitriou ¶ December 8, 2007 Abstract A linked…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
