The trouble with the second quantifier (Q2044549): Difference between revisions

@@ Property / author @@
+Gerhard J. Woeginger
@@ Property / author: Gerhard J. Woeginger / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10288-021-00477-y
+Normal rank
@@ Property / OpenAlex ID @@
+W3159886842
@@ Property / OpenAlex ID: W3159886842 / rank @@
+Normal rank
@@ Property / cites work @@
+Min-max and min-max regret versions of combinatorial optimization problems: A survey
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Core in a simple coalition formation game
@@ Property / cites work: Core in a simple coalition formation game / rank @@
+Normal rank
@@ Property / cites work @@
+Bilevel Programming: The Montreal School
@@ Property / cites work: Bilevel Programming: The Montreal School / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Solvable Special Cases of the Traveling Salesman Problem: A Survey
+Normal rank
@@ Property / cites work @@
+A Study on the Computational Complexity of the Bilevel Knapsack Problem
+Normal rank
@@ Property / cites work @@
+Bilevel Knapsack with Interdiction Constraints
@@ Property / cites work: Bilevel Knapsack with Interdiction Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Bilevel programming: a survey
@@ Property / cites work: Bilevel programming: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+On the dimension of simple monotonic games
@@ Property / cites work: On the dimension of simple monotonic games / rank @@
+Normal rank
@@ Property / cites work @@
+Pinpointing the complexity of the interval min-max regret knapsack problem
+Normal rank
@@ Property / cites work @@
+Sometimes Travelling is Easy: The Master Tour Problem
+Normal rank
@@ Property / cites work @@
+Lower bounds and a new exact approach for the Bilevel Knapsack with Interdiction Constraints
+Normal rank
@@ Property / cites work @@
+Foundations of bilevel programming
@@ Property / cites work: Foundations of bilevel programming / rank @@
+Normal rank
@@ Property / cites work @@
+Annotated Bibliography on Bilevel Programming and Mathematical Programs with Equilibrium Constraints
+Normal rank
@@ Property / cites work @@
+Q3922703
@@ Property / cites work: Q3922703 / rank @@
+Normal rank
@@ Property / cites work @@
+A New General-Purpose Algorithm for Mixed-Integer Bilevel Linear Programs
+Normal rank
@@ Property / cites work @@
+College Admissions and the Stability of Marriage
@@ Property / cites work: College Admissions and the Stability of Marriage / rank @@
+Normal rank
@@ Property / cites work @@
+Q5545303
@@ Property / cites work: Q5545303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On the symmetric travelling salesman problem: Solution of a 120-city problem
+Normal rank
@@ Property / cites work @@
+Some results on \((a:b)\)-choosability
@@ Property / cites work: Some results on \((a:b)\)-choosability / rank @@
+Normal rank
@@ Property / cites work @@
+Zur algebraischen Begründung der Graphentheorie. I
+Normal rank
@@ Property / cites work @@
+On defining sets of vertices of the hypercube by linear inequalities
+Normal rank
@@ Property / cites work @@
+The polynomial hierarchy and a simple model for competitive analysis
+Normal rank
@@ Property / cites work @@
+Edgeconvex Circuits and the Traveling Salesman Problem
+Normal rank
@@ Property / cites work @@
+Lattice translates of a polytope and the Frobenius problem
+Normal rank
@@ Property / cites work @@
+Q4197641
@@ Property / cites work: Q4197641 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust discrete optimization and its applications
@@ Property / cites work: Robust discrete optimization and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Dimension of the Lisbon voting rules in the EU council: a challenge and new world record
+Normal rank
@@ Property / cites work @@
+Complexity of clique coloring and related problems
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the Frobenius problem
@@ Property / cites work: Complexity of the Frobenius problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5704414
@@ Property / cites work: Q5704414 / rank @@
+Normal rank
@@ Property / cites work @@
+Nombre chromatique et plus longs chemins d'un graphe
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+On core membership testing for hedonic coalition formation games
+Normal rank
@@ Property / cites work @@
+Weighted voting, multicameral representation, and power
+Normal rank
@@ Property / cites work @@
+Q4700639
@@ Property / cites work: Q4700639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331780
@@ Property / cites work: Q5331780 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4610958
@@ Property / cites work: Q4610958 / rank @@
+Normal rank
@@ Property / cites work @@
+A hardness result for core stability in additive hedonic games
+Normal rank
@@ Property / cites work @@
+Core Stability in Hedonic Coalition Formation
@@ Property / cites work: Core Stability in Hedonic Coalition Formation / rank @@
+Normal rank