The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Edith Hemaspaandra Edith Spaan ( http://dblp.L3S.de/Authors/Edith_Hemaspaandra )

URL (Homepage):  http://www.cs.rit.edu/~eh/  Author page on DBLP  Author page in RDF  Community of Edith Hemaspaandra in ASPL-2

Publication years (Num. hits)
1989-1997 (21) 1998-1999 (19) 2000-2004 (21) 2005-2007 (21) 2008-2010 (20) 2011-2012 (12)
Publication types (Num. hits)
article(75) inproceedings(39)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 13 keywords

Results
Found 114 publication records. Showing 114 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Online Voter Control in Sequential Elections Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Curtis Menton Search versus Decision for Election Manipulation Problems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Controlling Candidate-Sequential Elections Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe The Complexity of Online Manipulation of Sequential Elections Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe The shield that never was: Societies with single-peaked preferences are more open to manipulation and control. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Henning Schnoor A Simplest Undecidable Modal Logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Henning Schnoor Minimization for Generalized Boolean Formulas Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra Multimode Control Attacks on Elections. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Henning Schnoor Minimization for Generalized Boolean Formulas. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Henning Schnoor A Universally Defined Undecidable Unimodal Logic. Search on Bibsonomy MFCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra The complexity of manipulative attacks in nearly single-peaked electorates. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Till Tantau, Osamu Watanabe On the complexity of kings. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra Using complexity to protect elections. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra Multimode Control Attacks on Elections Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor Generalized modal satisfiability. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor Manipulation of copeland elections. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Felix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Hybrid Elections Broaden Complexity-Theoretic Resistance to Control. Search on Bibsonomy Math. Log. Q. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe The Shield that Never Was: Societies with Single-Peaked Preferences are More Open to Manipulation and Control Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Llull and Copeland Voting Computationally Resist Bribery and Constructive Control. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra How Hard Is Bribery in Elections? Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Bauland, Edith Hemaspaandra Isomorphic Implication. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Computational complexity, Constraints, Propositional logic, Logic in computer science, Isomorphism problem
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra Multimode Control Attacks on Elections. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe The shield that never was: societies with single-peaked preferences are more open to manipulation and control. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Llull and Copeland Voting Computationally Resist Bribery and Control Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Henning Schnoor On the Complexity of Elementary Modal Logics Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor Generalized Modal Satisfiability Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Copeland Voting Fully Resists Constructive Control. Search on Bibsonomy AAIM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Computational social choice theory, multiagent systems, preference aggregation
1Edith Hemaspaandra, Henning Schnoor On the Complexity of Elementary Modal Logics. Search on Bibsonomy STACS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor Copeland voting: ties matter. Search on Bibsonomy AAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eric Brelsford, Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor Approximability of Manipulating Elections. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Copeland Voting Fully Resists Constructive Control Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Anyone but him: The complexity of precluding an alternative. Search on Bibsonomy Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Stanislaw P. Radziszowski, Rahul Tripathi Complexity results in graph reconstruction. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra Dichotomy for voting systems. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Hybrid Elections Broaden Complexity-Theoretic Resistance to Control. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Till Tantau, Osamu Watanabe On the Complexity of Kings. Search on Bibsonomy FCT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Llull and Copeland Voting Broadly Resist Bribery and Control. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Jörg Rothe, Holger Spakowski Recognizing when heuristics can approximate minimum vertex covers is complete for parallel access to NP. Search on Bibsonomy ITA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra How Hard Is Bribery in Elections? Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Hybrid Elections Broaden Complexity-Theoretic Resistance to Control Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe A Richer Understanding of the Complexity of Election Systems Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor Generalized Modal Satisfiability. Search on Bibsonomy STACS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational complexity, modal logic
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra The Complexity of Bribery in Elections. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Holger Spakowski, Jörg Vogel The complexity of Kemeny elections. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel All superlinear inverse schemes are coNP-hard. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Anyone but Him: The Complexity of Precluding an Alternative Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Osamu Watanabe The Complexity of Kings Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra Dichotomy for Voting Systems Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel Extending Downward Collapse from 1-versus-2 Queries to m-versus-m + 1 Queries. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Bauland, Edith Hemaspaandra Isomorphic Implication. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Anyone but Him: The Complexity of Precluding an Alternative. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Edith Hemaspaandra Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel All Superlinear Inverse Schemes are coNP-Hard Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Stanislaw P. Radziszowski, Rahul Tripathi Complexity Results in Graph Reconstruction Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Michael Bauland, Edith Hemaspaandra Isomorphic Implication Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel All Superlinear Inverse Schemes Are coNP-Hard. Search on Bibsonomy MFCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Stanislaw P. Radziszowski, Rahul Tripathi Complexity Results in Graph Reconstruction. Search on Bibsonomy MFCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Holger Spakowski, Mayur Thakur Complexity of Cycle Length Modularity Problems in Graphs. Search on Bibsonomy LATIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer The Complexity of Boolean Constraint Isomorphism. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer The Complexity of Boolean Constraint Isomorphism Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Holger Spakowski, Mayur Thakur Complexity of Cycle Length Modularity Problems in Graphs Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Marius Zimand Almost-Everywhere Superiority for Quantum Polynomial Time. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer Equivalence and Isomorphism for Boolean Constraint Satisfaction Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Gerd Wechsung The Minimization Problem for Boolean Formulas. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Jörg Rothe, Holger Spakowski Recognizing When Heuristics Can Approximate Minimum Vertex Covers Is Complete for Parallel Access to NP. Search on Bibsonomy WG The full citation details ... 2002 DBLP  DOI  BibTeX  RDF minimum vertex cover heuristics, parallel access to NP, Computational complexity, approximation, completeness
1Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer Equivalence and Isomorphism for Boolean Constraint Satisfaction. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra The Complexity of Poor Man's Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Jörg Rothe, Holger Spakowski Recognizing When Heuristics Can Approximate Minimum Vertex Covers Is Complete for Parallel Access to NP Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel Using the No-Search Easy-Hard Technique for Downward Collapse Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra Computational Politics: Electoral Systems. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra The Complexity of Poor Man's Logic. Search on Bibsonomy STACS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra Modal Satisfiability Is in Deterministic Linear Space. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra On the Power of Positive Turing Reductions. Search on Bibsonomy J. UCS The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel An Introduction to Query Order Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Marius Zimand Almost-Everywhere Superiority for Quantum Computing Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel Query Order and the Polynomial Hierarchy Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel Translating Equality Downwards Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel What's Up with Downward Collapse: Using the Easy-Hard Technique to Link Boolean and Polynomial Hierarchy Collapses Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Exact Analysis of Dodgson Elections: Lewis Carroll's 1876 Voting System is Complete for Parallel Access to NP Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra On the Power of Positive Turing Reductions Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra The Complexity of Poor Man's Logic Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel A Downward Collapse within the Polynomial Hierarchy Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel R1-ttSN(NP) Distinguishes Robust Many-One and Turing Completeness Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Raising NP Lower Bounds to Parallel NP Lower Bounds Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel Extending Downward Collapse from 1-versus-2 Queries to j-versus-j+1 Queries. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Jörg Rothe Recognizing when Greed can Approximate Maximum Independent Sets is Complete for Parallel Access to NP. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel Query Order and the Polynomial Hierarchy. Search on Bibsonomy J. UCS The full citation details ... 1998 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel Downward Collapse from a Weaker Hypothesis Search on Bibsonomy CoRR The full citation details ... 1998 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel RS N1-tt (NP) Distinguishes Robust Many-One and Turing Completeness. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel What's up with downward collapse: using the easy-hard technique to link Boolean and polynomial hierarchy collapses. Search on Bibsonomy SIGACT News The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel A Downward Collapse within the Polynomial Hierarchy. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Exact analysis of Dodgson elections: Lewis Carroll's 1876 voting system is complete for parallel access to NP. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Lewis Carroll, election systems, majority rule, completeness
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel An Introduction to Query Order. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 1997 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Raising NP lower bounds to parallel NP lower bounds. Search on Bibsonomy SIGACT News The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Exact Analysis of Dodgson Elections: Lewis Carroll's 1876 Voting System is Complete for Parallel Access to NP. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel A Downward Translation in the Polynomial Hierarchy. Search on Bibsonomy STACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel Query Order in the Polynomial Hierarchy. Search on Bibsonomy FCT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Gerd Wechsung The Minimization Problem for Boolean Formulas. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF computational complexity, minimization, propositional logic, Boolean formulas, polynomial hierarchy
Displaying result #1 - #100 of 114 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.