Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/2-satisfiability> ?p ?o }
- 2-satisfiability abstract "In computer science, 2-satisfiability (abbreviated as 2-SAT or just 2SAT) is the problem of determining whether a collection of two-valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all the constraints. It is a special case of the general Boolean satisfiability problem, which can involve constraints on more than two variables, and of constraint satisfaction problems, which can allow more than two choices for the value of each variable. But in contrast to those problems, which are NP-complete, it has a known polynomial time solution. Instances of the 2-satisfiability problem are typically expressed as 2-CNF or Krom formulas.".
- 2-satisfiability thumbnail Implication_graph.svg?width=300.
- 2-satisfiability wikiPageID "497640".
- 2-satisfiability wikiPageLength "56381".
- 2-satisfiability wikiPageOutDegree "126".
- 2-satisfiability wikiPageRevisionID "681743904".
- 2-satisfiability wikiPageWikiLink 0-1_matrix.
- 2-satisfiability wikiPageWikiLink Approximation_algorithm.
- 2-satisfiability wikiPageWikiLink Approximation_ratio.
- 2-satisfiability wikiPageWikiLink Arc_diagram.
- 2-satisfiability wikiPageWikiLink Automatic_label_placement.
- 2-satisfiability wikiPageWikiLink Backtracking.
- 2-satisfiability wikiPageWikiLink Binary_image.
- 2-satisfiability wikiPageWikiLink Binary_number.
- 2-satisfiability wikiPageWikiLink Binary_numeral_system.
- 2-satisfiability wikiPageWikiLink Boolean_algebra.
- 2-satisfiability wikiPageWikiLink Boolean_expression.
- 2-satisfiability wikiPageWikiLink Boolean_logic.
- 2-satisfiability wikiPageWikiLink Boolean_satisfiability_problem.
- 2-satisfiability wikiPageWikiLink Category:NL-complete_problems.
- 2-satisfiability wikiPageWikiLink Category:Satisfiability_problems.
- 2-satisfiability wikiPageWikiLink Clause_(logic).
- 2-satisfiability wikiPageWikiLink Cluster_analysis.
- 2-satisfiability wikiPageWikiLink Complete_bipartite_graph.
- 2-satisfiability wikiPageWikiLink Completeness_(logic).
- 2-satisfiability wikiPageWikiLink Complexity_class.
- 2-satisfiability wikiPageWikiLink Computer_science.
- 2-satisfiability wikiPageWikiLink Conjunctive_normal_form.
- 2-satisfiability wikiPageWikiLink Constraint_(mathematics).
- 2-satisfiability wikiPageWikiLink Constraint_satisfaction_problem.
- 2-satisfiability wikiPageWikiLink Counting_problem_(complexity).
- 2-satisfiability wikiPageWikiLink Cut_(graph_theory).
- 2-satisfiability wikiPageWikiLink Data_clustering.
- 2-satisfiability wikiPageWikiLink Davis–Putnam_algorithm.
- 2-satisfiability wikiPageWikiLink Depth-first_search.
- 2-satisfiability wikiPageWikiLink Depth_first_search.
- 2-satisfiability wikiPageWikiLink Diameter.
- 2-satisfiability wikiPageWikiLink Directed_acyclic_graph.
- 2-satisfiability wikiPageWikiLink Directed_graph.
- 2-satisfiability wikiPageWikiLink Discrete_tomography.
- 2-satisfiability wikiPageWikiLink Disjunction.
- 2-satisfiability wikiPageWikiLink Dynamic_programming.
- 2-satisfiability wikiPageWikiLink Equivalence_relation.
- 2-satisfiability wikiPageWikiLink Evolutionary_tree.
- 2-satisfiability wikiPageWikiLink Existential_quantification.
- 2-satisfiability wikiPageWikiLink Existential_quantifier.
- 2-satisfiability wikiPageWikiLink Exponential_time_hypothesis.
- 2-satisfiability wikiPageWikiLink First-order_logic.
- 2-satisfiability wikiPageWikiLink First_order_logic.
- 2-satisfiability wikiPageWikiLink Fixed-parameter_tractable.
- 2-satisfiability wikiPageWikiLink Graph_(mathematics).
- 2-satisfiability wikiPageWikiLink Graph_automorphism.
- 2-satisfiability wikiPageWikiLink Graph_drawing.
- 2-satisfiability wikiPageWikiLink Graph_theory.
- 2-satisfiability wikiPageWikiLink HORNSAT.
- 2-satisfiability wikiPageWikiLink Hamming_distance.
- 2-satisfiability wikiPageWikiLink Heuristic.
- 2-satisfiability wikiPageWikiLink Horn-satisfiability.
- 2-satisfiability wikiPageWikiLink Identity_matrix.
- 2-satisfiability wikiPageWikiLink Immerman–Szelepcsényi_theorem.
- 2-satisfiability wikiPageWikiLink Implication_graph.
- 2-satisfiability wikiPageWikiLink Implicative_normal_form.
- 2-satisfiability wikiPageWikiLink Implicit_graph.
- 2-satisfiability wikiPageWikiLink Independent_set_(graph_theory).
- 2-satisfiability wikiPageWikiLink Interpretation_(logic).
- 2-satisfiability wikiPageWikiLink Kosarajus_algorithm.
- 2-satisfiability wikiPageWikiLink Limit_of_a_sequence.
- 2-satisfiability wikiPageWikiLink Linear_time.
- 2-satisfiability wikiPageWikiLink Literal_(mathematical_logic).
- 2-satisfiability wikiPageWikiLink Logarithm.
- 2-satisfiability wikiPageWikiLink Logical_conjunction.
- 2-satisfiability wikiPageWikiLink Logical_disjunction.
- 2-satisfiability wikiPageWikiLink Logical_equivalence.
- 2-satisfiability wikiPageWikiLink Logical_matrix.
- 2-satisfiability wikiPageWikiLink Majority_function.
- 2-satisfiability wikiPageWikiLink Many-valued_logic.
- 2-satisfiability wikiPageWikiLink Maximum_flow.
- 2-satisfiability wikiPageWikiLink Maximum_flow_problem.
- 2-satisfiability wikiPageWikiLink Maximum_satisfiability_problem.
- 2-satisfiability wikiPageWikiLink Median_graph.
- 2-satisfiability wikiPageWikiLink Metric_space.
- 2-satisfiability wikiPageWikiLink NL-complete.
- 2-satisfiability wikiPageWikiLink NL_(complexity).
- 2-satisfiability wikiPageWikiLink NP-complete.
- 2-satisfiability wikiPageWikiLink NP-completeness.
- 2-satisfiability wikiPageWikiLink NP-hard.
- 2-satisfiability wikiPageWikiLink NP-hardness.
- 2-satisfiability wikiPageWikiLink NP_(complexity).
- 2-satisfiability wikiPageWikiLink Necessary_and_sufficient_condition.
- 2-satisfiability wikiPageWikiLink Necessity_and_sufficiency.
- 2-satisfiability wikiPageWikiLink Nonogram.
- 2-satisfiability wikiPageWikiLink Orthogonal_convex_hull.
- 2-satisfiability wikiPageWikiLink Orthogonal_convexity.
- 2-satisfiability wikiPageWikiLink P_versus_NP_problem.
- 2-satisfiability wikiPageWikiLink Parameterized_complexity.
- 2-satisfiability wikiPageWikiLink Path-based_strong_component_algorithm.
- 2-satisfiability wikiPageWikiLink Phase_transition.
- 2-satisfiability wikiPageWikiLink Phylogenetic_tree.
- 2-satisfiability wikiPageWikiLink Pixel.
- 2-satisfiability wikiPageWikiLink Polynomial-time_approximation_scheme.