| -rw-r--r-- | 1_or_3_in_3_sat | 9L |
| -rw-r--r-- | 2_regular | 5L |
| -rw-r--r-- | 2horn_clause | 9L |
| -rw-r--r-- | 2rpq | 9L |
| -rw-r--r-- | 2sat | 16L |
| -rw-r--r-- | 3_colorable | 7L |
| -rw-r--r-- | 3_coloring | 7L |
| -rw-r--r-- | 3_dimensional_matching | 16L |
| -rw-r--r-- | 3_dimensional_matching_numerical | 14L |
| -rw-r--r-- | 3_partition | 11L |
| -rw-r--r-- | 3cnf | 7L |
| -rw-r--r-- | 3sum | 17L |
| -rw-r--r-- | 3sum_hypothesis | 14L |
| -rw-r--r-- | 4_partition | 13L |
| -rw-r--r-- | 4_partition_hardness_proof | 23L |
| -rw-r--r-- | absent_factor | 9L |
| -rw-r--r-- | absent_subsequence | 12L |
| -rw-r--r-- | ac | 16L |
| -rw-r--r-- | academic_paper_list | 19L |
| -rw-r--r-- | acc | 7L |
| -rw-r--r-- | acc0 | 9L |
| -rw-r--r-- | accepting_run | 9L |
| -rw-r--r-- | access_pattern | 6L |
| -rw-r--r-- | ackermanns_function | 10L |
| -rw-r--r-- | acyclic_free_connex | 11L |
| -rw-r--r-- | adjacency_matrix | 14L |
| -rw-r--r-- | aggregation | 7L |
| -rw-r--r-- | agm_bound | 20L |
| -rw-r--r-- | aho_corasick | 9L |
| -rw-r--r-- | akmal2021majority | 7L |
| -rw-r--r-- | algebra | 10L |
| -rw-r--r-- | algebraic_automata_theory | 14L |
| -rw-r--r-- | algebraic_structure | 12L |
| -rw-r--r-- | algorithm_combinatorial | 9L |
| -rw-r--r-- | algorithm_randomized | 19L |
| -rw-r--r-- | algorithm_type | 9L |
| -rw-r--r-- | algorithms | 22L |
| -rw-r--r-- | algorithms_list | 21L |
| -rw-r--r-- | algorithms_recent | 8L |
| -rw-r--r-- | all_edge_triangle | 9L |
| -rw-r--r-- | all_pairs_shortest_path | 32L |
| -rw-r--r-- | all_pairs_shortest_path_approximate | 17L |
| -rw-r--r-- | all_pos_neg_sat | 7L |
| -rw-r--r-- | all_subset_sums | 11L |
| -rw-r--r-- | all_subset_sums_fft | 14L |
| -rw-r--r-- | alpha_acyclic | 23L |
| -rw-r--r-- | alphabet | 7L |
| -rw-r--r-- | alphabet_unary | 10L |
| -rw-r--r-- | alternating_path | 11L |
| -rw-r--r-- | alternation_hierarchy | 7L |
| -rw-r--r-- | amplification_technique | 11L |
| -rw-r--r-- | ancestor | 7L |
| -rw-r--r-- | annotation_transducer | 9L |
| -rw-r--r-- | antihole | 5L |
| -rw-r--r-- | approximate_sampling_to_approximate_counting | 29L |
| -rw-r--r-- | approximation | 36L |
| -rw-r--r-- | approximation_additive | 10L |
| -rw-r--r-- | approximation_class | 11L |
| -rw-r--r-- | approximation_multiplicative | 9L |
| -rw-r--r-- | approximation_problem | 8L |
| -rw-r--r-- | apsp_hypothesis | 12L |
| -rw-r--r-- | apsp_reduces_to_distance_product | 10L |
| -rw-r--r-- | apx | 22L |
| -rw-r--r-- | arboricity | 13L |
| -rw-r--r-- | arenas2020fpras | 12L |
| -rw-r--r-- | arithmetic | 11L |
| -rw-r--r-- | arithmetic_circuit | 30L |
| -rw-r--r-- | arithmetic_progression | 15L |
| -rw-r--r-- | arity | 8L |
| -rw-r--r-- | array | 8L |
| -rw-r--r-- | ascending_chain_condition | 12L |
| -rw-r--r-- | atom | 9L |
| -rw-r--r-- | automata | 16L |
| -rw-r--r-- | automata_acyclic | 9L |
| -rw-r--r-- | automata_alternating | 11L |
| -rw-r--r-- | automata_bideterministic | 10L |
| -rw-r--r-- | automata_classes | 15L |
| -rw-r--r-- | automata_complementation | 9L |
| -rw-r--r-- | automata_concepts | 15L |
| -rw-r--r-- | automata_constructions | 14L |
| -rw-r--r-- | automata_deterministic | 8L |
| -rw-r--r-- | automata_determinization | 12L |
| -rw-r--r-- | automata_evaluation | 12L |
| -rw-r--r-- | automata_local | 11L |
| -rw-r--r-- | automata_nondeterministic | 13L |
| -rw-r--r-- | automata_problems | 15L |
| -rw-r--r-- | automata_random | 7L |
| -rw-r--r-- | automata_reversal | 7L |
| -rw-r--r-- | automata_reversible | 15L |
| -rw-r--r-- | automata_self_verifying | 7L |
| -rw-r--r-- | automata_symmetric | 12L |
| -rw-r--r-- | automata_two_way | 17L |
| -rw-r--r-- | automata_types | 33L |
| -rw-r--r-- | automata_unary | 15L |
| -rw-r--r-- | automata_unary_ufa | 10L |
| -rw-r--r-- | automata_weighted | 25L |
| -rw-r--r-- | automatic_relation | 11L |
| -rw-r--r-- | automaton_cofiniteness | 8L |
| -rw-r--r-- | automaton_complete | 11L |
| -rw-r--r-- | automaton_completion | 7L |
| -rw-r--r-- | automaton_emptiness | 7L |
| -rw-r--r-- | automaton_epsilon_transitions | 5L |
| -rw-r--r-- | automaton_equivalence | 10L |
| -rw-r--r-- | automaton_homogeneous | 9L |
| -rw-r--r-- | automaton_inclusion | 9L |
| -rw-r--r-- | automaton_intersection | 10L |
| -rw-r--r-- | automaton_trimming | 7L |
| -rw-r--r-- | average_degree | 5L |
| -rw-r--r-- | background_rebuilding | 10L |
| -rw-r--r-- | backreferences | 9L |
| -rw-r--r-- | backurs2016which | 7L |
| -rw-r--r-- | bag_cq_containment | 9L |
| -rw-r--r-- | bag_semantics | 7L |
| -rw-r--r-- | bagan2020trichotomy | 18L |
| -rw-r--r-- | balancing | 13L |
| -rw-r--r-- | balancing_tree_decomposition | 7L |
| -rw-r--r-- | batch_partial_match | 16L |
| -rw-r--r-- | batch_partial_match_hypothesis | 7L |
| -rw-r--r-- | batch_update_technique | 15L |
| -rw-r--r-- | batch_updates | 6L |
| -rw-r--r-- | batch_updates_support | 7L |
| -rw-r--r-- | bayes_network | 9L |
| -rw-r--r-- | bdd | 12L |
| -rw-r--r-- | bellman_ford_algorithm | 10L |
| -rw-r--r-- | berge_graph | 7L |
| -rw-r--r-- | bin_packing | 11L |
| -rw-r--r-- | blocking_factor | 18L |
| -rw-r--r-- | bloom_filter | 9L |
| -rw-r--r-- | bloom_filter_dual | 7L |
| -rw-r--r-- | bodirsky2024symmetric | 9L |
| -rw-r--r-- | bonifati2017analytical | 7L |
| -rw-r--r-- | bool_x | 9L |
| -rw-r--r-- | boolean | 9L |
| -rw-r--r-- | boolean_circuit | 14L |
| -rw-r--r-- | boolean_closure | 7L |
| -rw-r--r-- | boolean_formula | 17L |
| -rw-r--r-- | boolean_formulas_positive | 7L |
| -rw-r--r-- | boolean_function | 32L |
| -rw-r--r-- | boolean_function_evaluation | 5L |
| -rw-r--r-- | boolean_function_problems | 9L |
| -rw-r--r-- | boolean_hierarchy | 10L |
| -rw-r--r-- | boolean_matrix_multiplication | 12L |
| -rw-r--r-- | boolean_matrix_multiplication_hypothesis | 11L |
| -rw-r--r-- | boolean_operator | 12L |
| -rw-r--r-- | boolean_semiring | 8L |
| -rw-r--r-- | boolean_width | 11L |
| -rw-r--r-- | boyer_moore | 7L |
| -rw-r--r-- | bpp | 23L |
| -rw-r--r-- | breadth_first_search | 7L |
| -rw-r--r-- | bringmann2024nfa | 16L |
| -rw-r--r-- | brodal_queue | 17L |
| -rw-r--r-- | brooks_theorem | 6L |
| -rw-r--r-- | brzozowskis_algorithm | 10L |
| -rw-r--r-- | buchbinder2019simple | 5L |
| -rw-r--r-- | buchis_theorem | 7L |
| -rw-r--r-- | burrows_wheeler_transform | 7L |
| -rw-r--r-- | c2 | 14L |
| -rw-r--r-- | c2rpq | 9L |
| -rw-r--r-- | canonical_labeling | 14L |
| -rw-r--r-- | capture_variable | 9L |
| -rw-r--r-- | cartesian_product | 8L |
| -rw-r--r-- | cerny_conjecture | 7L |
| -rw-r--r-- | certain_answers | 11L |
| -rw-r--r-- | change_propagation | 9L |
| -rw-r--r-- | chase | 17L |
| -rw-r--r-- | chase_termination | 10L |
| -rw-r--r-- | chebyshevs_inequality | 9L |
| -rw-r--r-- | chens_theorem | 5L |
| -rw-r--r-- | child | 9L |
| -rw-r--r-- | chrobak_normal_form | 5L |
| -rw-r--r-- | circuit | 56L |
| -rw-r--r-- | circuit_classes | 13L |
| -rw-r--r-- | circuit_complexity | 8L |
| -rw-r--r-- | circuit_complexity_query_evaluation | 7L |
| -rw-r--r-- | circuit_condition | 11L |
| -rw-r--r-- | circuit_equivalence | 5L |
| -rw-r--r-- | circuit_lower_bound | 5L |
| -rw-r--r-- | circuit_parameter | 8L |
| -rw-r--r-- | circuit_rank | 7L |
| -rw-r--r-- | circuit_size | 7L |
| -rw-r--r-- | circular_pattern_matching | 5L |
| -rw-r--r-- | classification | 9L |
| -rw-r--r-- | clause | 7L |
| -rw-r--r-- | clique | 21L |
| -rw-r--r-- | clique_listing | 9L |
| -rw-r--r-- | clique_problem | 16L |
| -rw-r--r-- | cnf_to_decision_dnnf | 7L |
| -rw-r--r-- | cnf_variable_convex | 9L |
| -rw-r--r-- | cograph | 11L |
| -rw-r--r-- | color_refinement_query_evaluation | 9L |
| -rw-r--r-- | combinatorial_boolean_matrix_multiplication | 5L |
| -rw-r--r-- | combinatorial_boolean_matrix_multiplication_hypothesis | 9L |
| -rw-r--r-- | combinatorics | 38L |
| -rw-r--r-- | combined_complexity | 9L |
| -rw-r--r-- | common_subsequence | 10L |
| -rw-r--r-- | complementation | 9L |
| -rw-r--r-- | complexity | 12L |
| -rw-r--r-- | complexity_class | 36L |
| -rw-r--r-- | complexity_random | 13L |
| -rw-r--r-- | complexity_rectangular | 5L |
| -rw-r--r-- | complexity_space | 7L |
| -rw-r--r-- | complexity_time | 11L |
| -rw-r--r-- | composition | 6L |
| -rw-r--r-- | compressed_subword_problem | 7L |
| -rw-r--r-- | compression | 10L |
| -rw-r--r-- | compression_algorithm | 12L |
| -rw-r--r-- | compression_string | 10L |
| -rw-r--r-- | computational_complexity | 58L |
| -rw-r--r-- | computational_geometry | 9L |
| -rw-r--r-- | computational_problem | 42L |
| -rw-r--r-- | computational_social_choice | 6L |
| -rw-r--r-- | computer_algebra | 12L |
| -rw-r--r-- | computer_science_fields | 15L |
| -rw-r--r-- | concatenation | 9L |
| -rw-r--r-- | concentration_inequality | 8L |
| -rw-r--r-- | confidence_interval | 8L |
| -rw-r--r-- | congruence_relation | 7L |
| -rw-r--r-- | conjecture | 26L |
| -rw-r--r-- | conjunction | 8L |
| -rw-r--r-- | conjunctive_context_free_path_query | 7L |
| -rw-r--r-- | conjunctive_normal_form | 38L |
| -rw-r--r-- | conjunctive_query | 21L |
| -rw-r--r-- | conjunctive_query_acyclic | 24L |
| -rw-r--r-- | conjunctive_query_boolean | 7L |
| -rw-r--r-- | conjunctive_query_cyclic | 9L |
| -rw-r--r-- | conjunctive_query_diversity | 9L |
| -rw-r--r-- | conjunctive_query_full | 7L |
| -rw-r--r-- | conjunctive_query_inequality | 11L |
| -rw-r--r-- | conjunctive_query_optimization | 6L |
| -rw-r--r-- | conjunctive_query_representativity | 7L |
| -rw-r--r-- | conjunctive_query_signed | 12L |
| -rw-r--r-- | conl | 5L |
| -rw-r--r-- | connected_component | 9L |
| -rw-r--r-- | connectivity | 17L |
| -rw-r--r-- | connectivity_weighted | 5L |
| -rw-r--r-- | constraint_satisfaction_problem_enumeration | 7L |
| -rw-r--r-- | context_free_grammar | 48L |
| -rw-r--r-- | context_free_grammar_bounded | 7L |
| -rw-r--r-- | context_free_grammar_linear | 9L |
| -rw-r--r-- | context_free_grammar_unambiguous | 11L |
| -rw-r--r-- | context_free_language | 11L |
| -rw-r--r-- | context_free_language_membership | 8L |
| -rw-r--r-- | context_free_language_membership_fine_grained | 6L |
| -rw-r--r-- | conversion | 13L |
| -rw-r--r-- | conversion_regular_expression_automata | 6L |
| -rw-r--r-- | convexity | 8L |
| -rw-r--r-- | core | 21L |
| -rw-r--r-- | core_semiring | 7L |
| -rw-r--r-- | counter_automata_definition | 16L |
| -rw-r--r-- | counter_automata_deterministic | 5L |
| -rw-r--r-- | counter_automata_trees | 5L |
| -rw-r--r-- | counter_free_automata | 9L |
| -rw-r--r-- | counting_cqs | 22L |
| -rw-r--r-- | counting_problem | 18L |
| -rw-r--r-- | counting_quantifier | 8L |
| -rw-r--r-- | counting_query_answers | 9L |
| -rw-r--r-- | counting_ucqs | 7L |
| -rw-r--r-- | courcelle_theorem | 15L |
| -rw-r--r-- | craig_interpolation | 10L |
| -rw-r--r-- | crossing_number | 11L |
| -rw-r--r-- | crossing_number_inequality | 7L |
| -rw-r--r-- | crpq | 14L |
| -rw-r--r-- | cycle | 27L |
| -rw-r--r-- | cycle_induced | 10L |
| -rw-r--r-- | cycle_rank | 7L |
| -rw-r--r-- | dagstuhl_semirings_val | 24L |
| -rw-r--r-- | dahlhaus1994complexity | 8L |
| -rw-r--r-- | data_complexity | 9L |
| -rw-r--r-- | data_structure | 20L |
| -rw-r--r-- | data_word | 10L |
| -rw-r--r-- | database_dependency | 31L |
| -rw-r--r-- | database_instance | 11L |
| -rw-r--r-- | database_repairs | 16L |
| -rw-r--r-- | database_theory | 14L |
| -rw-r--r-- | database_theory_concepts | 16L |
| -rw-r--r-- | datalog | 53L |
| -rw-r--r-- | datalog_aggregation | 9L |
| -rw-r--r-- | datalog_fuzzy | 5L |
| -rw-r--r-- | datalog_grounding | 5L |
| -rw-r--r-- | datalog_linear | 11L |
| -rw-r--r-- | datalog_monadic | 9L |
| -rw-r--r-- | datalog_negation | 12L |
| -rw-r--r-- | datalog_nonrecursive | 9L |
| -rw-r--r-- | datalog_query_evaluation | 24L |
| -rw-r--r-- | datalog_semiring | 13L |
| -rw-r--r-- | datalog_semiring_query_evaluation | 6L |
| -rw-r--r-- | datalog_stratified_linear | 7L |
| -rw-r--r-- | datalog_symmetric_linear | 9L |
| -rw-r--r-- | datalogpm | 9L |
| -rw-r--r-- | ddnnf | 11L |
| -rw-r--r-- | de_bruijn_sequence | 7L |
| -rw-r--r-- | decision | 9L |
| -rw-r--r-- | decision_dnnf | 8L |
| -rw-r--r-- | decision_problem | 9L |
| -rw-r--r-- | deficiency | 11L |
| -rw-r--r-- | degeneracy | 16L |
| -rw-r--r-- | degree | 10L |
| -rw-r--r-- | degree_of_acyclicity | 14L |
| -rw-r--r-- | degree_of_ambiguity_tree | 7L |
| -rw-r--r-- | deletion_breakable | 20L |
| -rw-r--r-- | densest_subgraph | 12L |
| -rw-r--r-- | density_function | 21L |
| -rw-r--r-- | dependency_implication | 9L |
| -rw-r--r-- | depth | 6L |
| -rw-r--r-- | depth_circuit | 13L |
| -rw-r--r-- | depth_first_search | 9L |
| -rw-r--r-- | depth_tree | 5L |
| -rw-r--r-- | derivation_tree | 13L |
| -rw-r--r-- | description_logics | 16L |
| -rw-r--r-- | descriptive_complexity | 10L |
| -rw-r--r-- | determinism | 6L |
| -rw-r--r-- | diagram | 18L |
| -rw-r--r-- | diameter | 11L |
| -rw-r--r-- | dijkstras_algorithm | 7L |
| -rw-r--r-- | dimension | 7L |
| -rw-r--r-- | diophantine_equation | 7L |
| -rw-r--r-- | directed_acyclic_graph | 9L |
| -rw-r--r-- | directed_planar_graph | 5L |
| -rw-r--r-- | disjoint_union | 7L |
| -rw-r--r-- | disjunction | 9L |
| -rw-r--r-- | disjunctive_normal_form | 18L |
| -rw-r--r-- | disjunctive_normal_form_orthogonal | 14L |
| -rw-r--r-- | distance | 9L |
| -rw-r--r-- | distinguishing_subsequence | 11L |
| -rw-r--r-- | dnnf_to_nfbdd | 5L |
| -rw-r--r-- | dominating_set | 17L |
| -rw-r--r-- | downwards_closure | 19L |
| -rw-r--r-- | downwards_closure_cfl_state_complexity | 9L |
| -rw-r--r-- | downwards_closure_state_complexity | 11L |
| -rw-r--r-- | dpll | 21L |
| -rw-r--r-- | drx | 7L |
| -rw-r--r-- | dsdnnf | 9L |
| -rw-r--r-- | dual | 6L |
| -rw-r--r-- | dual_graph | 11L |
| -rw-r--r-- | dual_treewidth | 7L |
| -rw-r--r-- | dynamic_connectivity_practice | 5L |
| -rw-r--r-- | dynamic_dynamic_programming | 5L |
| -rw-r--r-- | dynamic_programming | 11L |
| -rw-r--r-- | edge | 9L |
| -rw-r--r-- | edge_coloring | 8L |
| -rw-r--r-- | edge_contraction | 9L |
| -rw-r--r-- | edge_cover | 9L |
| -rw-r--r-- | edge_deletion | 5L |
| -rw-r--r-- | edge_dominating_set | 13L |
| -rw-r--r-- | edit_distance_oracle | 7L |
| -rw-r--r-- | eggans_theorem | 8L |
| -rw-r--r-- | ehrenfeucht_fraisse_game | 18L |
| -rw-r--r-- | empty_word | 5L |
| -rw-r--r-- | enumeration | 25L |
| -rw-r--r-- | enumeration_circuit | 13L |
| -rw-r--r-- | enumeration_definition | 7L |
| -rw-r--r-- | enumeration_delay | 13L |
| -rw-r--r-- | enumeration_diversity | 7L |
| -rw-r--r-- | enumeration_graphs | 8L |
| -rw-r--r-- | enumeration_ordered | 9L |
| -rw-r--r-- | enumeration_polylog_delay | 7L |
| -rw-r--r-- | enumeration_spanner | 8L |
| -rw-r--r-- | enumeration_strings | 22L |
| -rw-r--r-- | enumeration_techniques | 9L |
| -rw-r--r-- | enumeration_ucqs_classifying | 11L |
| -rw-r--r-- | enumeration_via_circuit | 7L |
| -rw-r--r-- | epsilon_transition | 7L |
| -rw-r--r-- | equation | 12L |
| -rw-r--r-- | equisatisfiability | 11L |
| -rw-r--r-- | equivalence | 12L |
| -rw-r--r-- | equivalence_problem | 11L |
| -rw-r--r-- | equivalence_relation | 7L |
| -rw-r--r-- | eulers_formula | 9L |
| -rw-r--r-- | even_hole_free_graph | 13L |
| -rw-r--r-- | exact_matching | 8L |
| -rw-r--r-- | exact_triangle | 7L |
| -rw-r--r-- | exact_triangle_conjecture | 6L |
| -rw-r--r-- | exponentiation | 8L |
| -rw-r--r-- | external_memory | 6L |
| -rw-r--r-- | extremal_graph_theory | 15L |
| -rw-r--r-- | factor | 18L |
| -rw-r--r-- | factor_closed_language | 9L |
| -rw-r--r-- | factor_universal | 9L |
| -rw-r--r-- | fagins_theorem | 5L |
| -rw-r--r-- | fcreg | 7L |
| -rw-r--r-- | feedback_edge_number | 9L |
| -rw-r--r-- | feedback_vertex_set | 11L |
| -rw-r--r-- | feferman_vaught_theorem | 11L |
| -rw-r--r-- | final_state | 11L |
| -rw-r--r-- | final_weight | 9L |
| -rw-r--r-- | fine_grained_complexity_problems | 15L |
| -rw-r--r-- | finite_model_property | 11L |
| -rw-r--r-- | finite_model_theory | 7L |
| -rw-r--r-- | first_order_logic_regular_language | 11L |
| -rw-r--r-- | first_order_model_checking | 19L |
| -rw-r--r-- | first_order_rewriting | 7L |
| -rw-r--r-- | floyd_warshall_algorithm | 7L |
| -rw-r--r-- | fo_tc | 7L |
| -rw-r--r-- | forbidden_graph_characterization | 14L |
| -rw-r--r-- | forbidden_subgraph_problem | 7L |
| -rw-r--r-- | forest | 9L |
| -rw-r--r-- | formal_language | 20L |
| -rw-r--r-- | formal_language_computational_problems | 9L |
| -rw-r--r-- | formal_language_theory | 58L |
| -rw-r--r-- | formal_series | 5L |
| -rw-r--r-- | fotc | 7L |
| -rw-r--r-- | four_color_theorem | 8L |
| -rw-r--r-- | fp | 5L |
| -rw-r--r-- | fpras_bpp | 11L |
| -rw-r--r-- | friendship_theorem | 11L |
| -rw-r--r-- | frontier_guarded | 9L |
| -rw-r--r-- | function | 25L |
| -rw-r--r-- | function_evaluation | 9L |
| -rw-r--r-- | functional_dependency | 29L |
| -rw-r--r-- | functional_dependency_approximate | 8L |
| -rw-r--r-- | game_on_graphs | 8L |
| -rw-r--r-- | gap_p | 13L |
| -rw-r--r-- | gapped_pattern_matching | 9L |
| -rw-r--r-- | gate | 11L |
| -rw-r--r-- | gelade2009regular | 19L |
| -rw-r--r-- | generalized_core_spanner | 7L |
| -rw-r--r-- | geometry | 13L |
| -rw-r--r-- | gf2 | 5L |
| -rw-r--r-- | glushkov_automaton | 19L |
| -rw-r--r-- | goedels_incompleteness_theorem | 9L |
| -rw-r--r-- | goldbach_conjecture | 7L |
| -rw-r--r-- | golomb_ruler | 18L |
| -rw-r--r-- | gql | 6L |
| -rw-r--r-- | graceful_labeling | 13L |
| -rw-r--r-- | graceful_tree | 6L |
| -rw-r--r-- | graph | 95L |
| -rw-r--r-- | graph_2_degenerate | 9L |
| -rw-r--r-- | graph_algorithm | 19L |
| -rw-r--r-- | graph_basic_notions | 33L |
| -rw-r--r-- | graph_bipartite | 12L |
| -rw-r--r-- | graph_caterpillar | 13L |
| -rw-r--r-- | graph_coloring | 40L |
| -rw-r--r-- | graph_coloring_diameter | 6L |
| -rw-r--r-- | graph_coloring_greedy | 8L |
| -rw-r--r-- | graph_complementation | 7L |
| -rw-r--r-- | graph_compressed_representation | 6L |
| -rw-r--r-- | graph_cube | 7L |
| -rw-r--r-- | graph_database | 18L |
| -rw-r--r-- | graph_database_practical | 17L |
| -rw-r--r-- | graph_directed | 13L |
| -rw-r--r-- | graph_exponentiation | 17L |
| -rw-r--r-- | graph_factorable | 5L |
| -rw-r--r-- | graph_family | 46L |
| -rw-r--r-- | graph_free | 11L |
| -rw-r--r-- | graph_h_free | 12L |
| -rw-r--r-- | graph_h_minor_free | 11L |
| -rw-r--r-- | graph_induced_h_free | 11L |
| -rw-r--r-- | graph_isomorphism | 9L |
| -rw-r--r-- | graph_labeling | 8L |
| -rw-r--r-- | graph_minor | 11L |
| -rw-r--r-- | graph_modification_treewidth | 5L |
| -rw-r--r-- | graph_operations | 8L |
| -rw-r--r-- | graph_orientation | 7L |
| -rw-r--r-- | graph_p5_free | 7L |
| -rw-r--r-- | graph_packing | 11L |
| -rw-r--r-- | graph_partition | 11L |
| -rw-r--r-- | graph_pattern_counting | 7L |
| -rw-r--r-- | graph_perfect | 9L |
| -rw-r--r-- | graph_pk_free | 15L |
| -rw-r--r-- | graph_query_languages | 36L |
| -rw-r--r-- | graph_representation | 10L |
| -rw-r--r-- | graph_sparse | 11L |
| -rw-r--r-- | graph_square | 7L |
| -rw-r--r-- | graph_theorem | 7L |
| -rw-r--r-- | graph_theory | 9L |
| -rw-r--r-- | graph_traversal | 8L |
| -rw-r--r-- | graph_undirected | 9L |
| -rw-r--r-- | graph_weighted | 13L |
| -rw-r--r-- | gray_code | 16L |
| -rw-r--r-- | greedy_algorithm | 9L |
| -rw-r--r-- | green2007provenance | 7L |
| -rw-r--r-- | grid_graph | 11L |
| -rw-r--r-- | grid_minor | 16L |
| -rw-r--r-- | grid_minor_directed | 5L |
| -rw-r--r-- | grotzschs_theorem | 7L |
| -rw-r--r-- | grounding | 8L |
| -rw-r--r-- | group_abelian | 5L |
| -rw-r--r-- | gt_maj_sat | 11L |
| -rw-r--r-- | guarded_structure | 10L |
| -rw-r--r-- | hamiltonian_cycle | 13L |
| -rw-r--r-- | hamiltonian_cycle_cube | 5L |
| -rw-r--r-- | hamiltonian_cycle_square | 5L |
| -rw-r--r-- | hamming_distance | 9L |
| -rw-r--r-- | hamming_weight | 7L |
| -rw-r--r-- | handshaking_lemma | 9L |
| -rw-r--r-- | height | 7L |
| -rw-r--r-- | heimberg2016hanf | 5L |
| -rw-r--r-- | higmans_lemma | 9L |
| -rw-r--r-- | hitting_cnf | 9L |
| -rw-r--r-- | hitting_set | 15L |
| -rw-r--r-- | hk_queries | 7L |
| -rw-r--r-- | hole | 12L |
| -rw-r--r-- | homomorphism | 17L |
| -rw-r--r-- | homomorphism_closed | 8L |
| -rw-r--r-- | homomorphism_equivalence | 11L |
| -rw-r--r-- | hopcrofts_algorithm | 15L |
| -rw-r--r-- | horn_2sat | 5L |
| -rw-r--r-- | horn_sat | 13L |
| -rw-r--r-- | horsetail_graph | 11L |
| -rw-r--r-- | hunters_and_rabbit_directed | 5L |
| -rw-r--r-- | hyperedge | 7L |
| -rw-r--r-- | hypergraph | 34L |
| -rw-r--r-- | hypergraph_conformal | 7L |
| -rw-r--r-- | hypergraph_uniform | 7L |
| -rw-r--r-- | hypothesis | 7L |
| -rw-r--r-- | ilango2022minimum | 5L |
| -rw-r--r-- | immerman_vardi_theorem | 9L |
| -rw-r--r-- | implicant | 9L |
| -rw-r--r-- | implication_of_constraints | 5L |
| -rw-r--r-- | incidence_graph | 10L |
| -rw-r--r-- | incidence_structure | 13L |
| -rw-r--r-- | incidence_treewidth | 13L |
| -rw-r--r-- | inclusion_dependency_unary | 9L |
| -rw-r--r-- | incomplete_automaton | 9L |
| -rw-r--r-- | incomplete_data | 7L |
| -rw-r--r-- | inconsistency | 5L |
| -rw-r--r-- | inconsistency_quantitative | 13L |
| -rw-r--r-- | incremental_maintenance_pqe | 5L |
| -rw-r--r-- | incremental_maintenance_tuple_testing | 5L |
| -rw-r--r-- | incremental_time | 7L |
| -rw-r--r-- | independent_set | 36L |
| -rw-r--r-- | index_research | 5L |
| -rw-r--r-- | induced_minor | 9L |
| -rw-r--r-- | induced_subgraph | 9L |
| -rw-r--r-- | inequality_mathematics | 10L |
| -rw-r--r-- | infinity_deletion_breakable | 13L |
| -rw-r--r-- | information_extraction_declarative | 5L |
| -rw-r--r-- | initial_state | 9L |
| -rw-r--r-- | initial_weight | 9L |
| -rw-r--r-- | integer_factorization_in_np_cap_conp | 9L |
| -rw-r--r-- | integer_linear_programming | 18L |
| -rw-r--r-- | integers | 9L |
| -rw-r--r-- | integrity_constraint | 14L |
| -rw-r--r-- | interior_point | 9L |
| -rw-r--r-- | internal_node | 5L |
| -rw-r--r-- | intersection | 8L |
| -rw-r--r-- | intractability | 10L |
| -rw-r--r-- | johnsons_algorithm | 21L |
| -rw-r--r-- | k_ambiguous | 7L |
| -rw-r--r-- | k_relation | 14L |
| -rw-r--r-- | kendall_tau_distance | 5L |
| -rw-r--r-- | kleene_sequence | 8L |
| -rw-r--r-- | kleenes_algorithm | 5L |
| -rw-r--r-- | knowledge_compilation | 13L |
| -rw-r--r-- | knowledge_compilation_classes | 27L |
| -rw-r--r-- | knowledge_compilation_query | 8L |
| -rw-r--r-- | koenigs_theorem | 9L |
| -rw-r--r-- | l_poly | 7L |
| -rw-r--r-- | ladners_theorem | 7L |
| -rw-r--r-- | laminar_set_family | 7L |
| -rw-r--r-- | language_equivalence | 15L |
| -rw-r--r-- | language_inclusion | 7L |
| -rw-r--r-- | language_unary | 9L |
| -rw-r--r-- | language_upwards_closed | 13L |
| -rw-r--r-- | leaf | 9L |
| -rw-r--r-- | leapfrog_triejoin | 3L |
| -rw-r--r-- | learning_dfa | 19L |
| -rw-r--r-- | leftist_heap | 48L |
| -rw-r--r-- | lemma | 13L |
| -rw-r--r-- | length | 7L |
| -rw-r--r-- | letter | 7L |
| -rw-r--r-- | level_ancestor | 10L |
| -rw-r--r-- | linear_algebra_program | 7L |
| -rw-r--r-- | linear_programming | 17L |
| -rw-r--r-- | linked_list | 7L |
| -rw-r--r-- | list | 10L |
| -rw-r--r-- | literal | 7L |
| -rw-r--r-- | locality_logic | 8L |
| -rw-r--r-- | locally_testable_language | 23L |
| -rw-r--r-- | log_shaving | 9L |
| -rw-r--r-- | logarithm | 8L |
| -rw-r--r-- | logarithm_iterated | 7L |
| -rw-r--r-- | logcfl | 11L |
| -rw-r--r-- | logic | 77L |
| -rw-r--r-- | logical_separability | 7L |
| -rw-r--r-- | logspace | 16L |
| -rw-r--r-- | logspace_reduction | 7L |
| -rw-r--r-- | longest_common_substring | 7L |
| -rw-r--r-- | longest_increasing_subsequence | 7L |
| -rw-r--r-- | longest_parameterized_common_subsequence | 7L |
| -rw-r--r-- | lovasz_conjecture | 11L |
| -rw-r--r-- | lower_bounds | 10L |
| -rw-r--r-- | machine_model | 7L |
| -rw-r--r-- | makowsky2003tree | 5L |
| -rw-r--r-- | many_one_reduction | 11L |
| -rw-r--r-- | markovs_inequality | 9L |
| -rw-r--r-- | martens2018evaluation | 7L |
| -rw-r--r-- | marx2020four | 9L |
| -rw-r--r-- | matching | 22L |
| -rw-r--r-- | matching_width | 8L |
| -rw-r--r-- | mathematical_foundations_of_automata_theory | 6L |
| -rw-r--r-- | mathematics | 63L |
| -rw-r--r-- | mathematics_basic_concepts | 41L |
| -rw-r--r-- | mathematics_fields | 21L |
| -rw-r--r-- | mathematics_operation | 9L |
| -rw-r--r-- | matrix | 43L |
| -rw-r--r-- | matrix_boolean | 7L |
| -rw-r--r-- | matrix_ilp | 12L |
| -rw-r--r-- | matrix_multiplication | 17L |
| -rw-r--r-- | matrix_multiplication_algorithms | 6L |
| -rw-r--r-- | matrix_square | 5L |
| -rw-r--r-- | matrix_toeplitz | 9L |
| -rw-r--r-- | max_sat | 14L |
| -rw-r--r-- | maximal_common_subsequence | 16L |
| -rw-r--r-- | maximal_independent_set_counting | 7L |
| -rw-r--r-- | maximum | 10L |
| -rw-r--r-- | maximum_a_posteriori | 7L |
| -rw-r--r-- | maximum_cut | 11L |
| -rw-r--r-- | maximum_independent_set_bipartite | 8L |
| -rw-r--r-- | maximum_matching | 12L |
| -rw-r--r-- | membership_problem | 10L |
| -rw-r--r-- | mengers_theorem | 7L |
| -rw-r--r-- | mim_width | 11L |
| -rw-r--r-- | min_plus_product | 7L |
| -rw-r--r-- | minimal_absent_word | 14L |
| -rw-r--r-- | minimal_unsatisfiable | 12L |
| -rw-r--r-- | minimal_witness | 16L |
| -rw-r--r-- | minimization | 7L |
| -rw-r--r-- | minimization_automaton | 12L |
| -rw-r--r-- | minimum | 12L |
| -rw-r--r-- | minimum_circuit_size_problem | 11L |
| -rw-r--r-- | minimum_degree_spanning_tree | 7L |
| -rw-r--r-- | minimum_feedback_vertex_set | 12L |
| -rw-r--r-- | minimum_length_bounded_multicut | 6L |
| -rw-r--r-- | minimum_multicut | 14L |
| -rw-r--r-- | minimum_spanning_tree | 7L |
| -rw-r--r-- | minimum_vertex_cover_bipartite | 9L |
| -rw-r--r-- | mixed_chinese_postman_problem | 7L |
| -rw-r--r-- | modular_decomposition | 5L |
| -rw-r--r-- | modulo | 9L |
| -rw-r--r-- | monadic | 10L |
| -rw-r--r-- | monadic_second_order_logic_model_checking | 7L |
| -rw-r--r-- | monoid | 19L |
| -rw-r--r-- | monoid_positive | 9L |
| -rw-r--r-- | montgomery2020proof | 5L |
| -rw-r--r-- | moore_graph | 18L |
| -rw-r--r-- | moores_algorithm | 9L |
| -rw-r--r-- | morphism | 10L |
| -rw-r--r-- | mpe | 11L |
| -rw-r--r-- | multiedge | 7L |
| -rw-r--r-- | multigraph | 10L |
| -rw-r--r-- | multiset | 9L |
| -rw-r--r-- | multitree | 13L |
| -rw-r--r-- | multiway_cut | 20L |
| -rw-r--r-- | natural_number | 9L |
| -rw-r--r-- | naturally_ordered_semiring | 7L |
| -rw-r--r-- | nbdd | 9L |
| -rw-r--r-- | nbp | 11L |
| -rw-r--r-- | nc | 18L |
| -rw-r--r-- | nc1 | 13L |
| -rw-r--r-- | negation | 12L |
| -rw-r--r-- | network_flow_submodular | 7L |
| -rw-r--r-- | network_reliability | 9L |
| -rw-r--r-- | neural_network_compression | 7L |
| -rw-r--r-- | neutral_element | 11L |
| -rw-r--r-- | nfbdd | 13L |
| -rw-r--r-- | nlogspace | 20L |
| -rw-r--r-- | no_meet | 5L |
| -rw-r--r-- | node | 5L |
| -rw-r--r-- | nondeterministic | 12L |
| -rw-r--r-- | nonfinal_state | 9L |
| -rw-r--r-- | normal_subgroup | 11L |
| -rw-r--r-- | np_cap_conp | 10L |
| -rw-r--r-- | np_complete | 30L |
| -rw-r--r-- | np_hard | 12L |
| -rw-r--r-- | np_intermediate | 10L |
| -rw-r--r-- | npmv | 5L |
| -rw-r--r-- | nptime | 19L |
| -rw-r--r-- | nrobp | 13L |
| -rw-r--r-- | number | 13L |
| -rw-r--r-- | number_theory | 14L |
| -rw-r--r-- | obdd | 12L |
| -rw-r--r-- | oberwolfach_problem | 9L |
| -rw-r--r-- | omqa | 13L |
| -rw-r--r-- | open_world_query_answering | 20L |
| -rw-r--r-- | open_world_query_answering_fds | 11L |
| -rw-r--r-- | optimization | 14L |
| -rw-r--r-- | optimization_problem | 8L |
| -rw-r--r-- | order | 10L |
| -rw-r--r-- | ordered_decision_circuit | 13L |
| -rw-r--r-- | out_tree | 5L |
| -rw-r--r-- | ov_conjecture | 13L |
| -rw-r--r-- | owqa_frontier_one_fds | 7L |
| -rw-r--r-- | p_poly | 7L |
| -rw-r--r-- | p_subsequence | 9L |
| -rw-r--r-- | packing_problem | 15L |
| -rw-r--r-- | palindrome | 9L |
| -rw-r--r-- | parallelism | 14L |
| -rw-r--r-- | paranp | 8L |
| -rw-r--r-- | parikhs_theorem | 9L |
| -rw-r--r-- | parity | 10L |
| -rw-r--r-- | parity_p | 9L |
| -rw-r--r-- | partial_order | 27L |
| -rw-r--r-- | partial_run | 5L |
| -rw-r--r-- | partition_problem | 9L |
| -rw-r--r-- | path | 16L |
| -rw-r--r-- | path_undirected | 7L |
| -rw-r--r-- | pathwidth | 10L |
| -rw-r--r-- | pathwidth_approximation | 6L |
| -rw-r--r-- | pathwidth_directed | 11L |
| -rw-r--r-- | pattern_language | 16L |
| -rw-r--r-- | pattern_language_inclusion | 7L |
| -rw-r--r-- | pattern_matching | 42L |
| -rw-r--r-- | pattern_matching_algorithm | 8L |
| -rw-r--r-- | pattern_matching_realtime | 7L |
| -rw-r--r-- | pattern_matching_streaming | 5L |
| -rw-r--r-- | perfect_matching | 13L |
| -rw-r--r-- | perfect_matching_counting | 13L |
| -rw-r--r-- | permutation | 29L |
| -rw-r--r-- | permutation_distance | 9L |
| -rw-r--r-- | planar_graph | 36L |
| -rw-r--r-- | planarity_testing | 16L |
| -rw-r--r-- | plane_mathematics | 7L |
| -rw-r--r-- | polylog_delay | 5L |
| -rw-r--r-- | polynomial | 23L |
| -rw-r--r-- | polynomial_hierarchy | 14L |
| -rw-r--r-- | polytree | 16L |
| -rw-r--r-- | posbool | 7L |
| -rw-r--r-- | positive_threshold_function | 7L |
| -rw-r--r-- | possible_answers | 9L |
| -rw-r--r-- | pqe_mso | 7L |
| -rw-r--r-- | pqe_ucq | 11L |
| -rw-r--r-- | pratt_hartmann | 8L |
| -rw-r--r-- | prefix | 12L |
| -rw-r--r-- | prefix_closed_language | 9L |
| -rw-r--r-- | prefix_free_language | 9L |
| -rw-r--r-- | prefix_suffix_query | 9L |
| -rw-r--r-- | preprocessing | 11L |
| -rw-r--r-- | preprocessing_phase | 7L |
| -rw-r--r-- | primal_graph | 11L |
| -rw-r--r-- | primal_treewidth | 7L |
| -rw-r--r-- | prime_number | 11L |
| -rw-r--r-- | prime_number_theorem | 7L |
| -rw-r--r-- | prisoners_dilemma | 7L |
| -rw-r--r-- | probabilistic_circuit | 30L |
| -rw-r--r-- | probabilistic_database_model | 10L |
| -rw-r--r-- | probabilistic_database_neighboring_fields | 10L |
| -rw-r--r-- | probabilistic_databases | 30L |
| -rw-r--r-- | probabilistic_graphical_model | 7L |
| -rw-r--r-- | probabilistic_inference | 7L |
| -rw-r--r-- | probabilistic_method | 9L |
| -rw-r--r-- | probabilistic_model | 13L |
| -rw-r--r-- | probabilities | 33L |
| -rw-r--r-- | probability_distribution | 9L |
| -rw-r--r-- | probability_outcome | 9L |
| -rw-r--r-- | provenance | 42L |
| -rw-r--r-- | provenance_circuit | 10L |
| -rw-r--r-- | provenance_datalog | 16L |
| -rw-r--r-- | provenance_description_logics | 5L |
| -rw-r--r-- | provenance_optimal_joins | 8L |
| -rw-r--r-- | proximity_search | 7L |
| -rw-r--r-- | pseudo_polynomial_time | 11L |
| -rw-r--r-- | pspace | 9L |
| -rw-r--r-- | ptime | 16L |
| -rw-r--r-- | pursuit_evasion | 10L |
| -rw-r--r-- | pushdown_automaton | 17L |
| -rw-r--r-- | q9 | 7L |
| -rw-r--r-- | qp | 9L |
| -rw-r--r-- | quantifier | 12L |
| -rw-r--r-- | quantitative | 5L |
| -rw-r--r-- | query | 20L |
| -rw-r--r-- | query_boolean | 13L |
| -rw-r--r-- | query_complexity | 11L |
| -rw-r--r-- | query_evaluation | 23L |
| -rw-r--r-- | query_evaluation_incremental | 12L |
| -rw-r--r-- | query_full | 9L |
| -rw-r--r-- | query_language | 43L |
| -rw-r--r-- | query_non_boolean | 9L |
| -rw-r--r-- | query_recursive | 12L |
| -rw-r--r-- | query_with_negation | 9L |
| -rw-r--r-- | queue | 8L |
| -rw-r--r-- | quicksort | 7L |
| -rw-r--r-- | radoszewski2011hamiltonian | 11L |
| -rw-r--r-- | ramsey_theorem | 17L |
| -rw-r--r-- | random_graph | 9L |
| -rw-r--r-- | random_structure | 7L |
| -rw-r--r-- | random_variable | 10L |
| -rw-r--r-- | randomness | 24L |
| -rw-r--r-- | range_query | 11L |
| -rw-r--r-- | ranking_function | 11L |
| -rw-r--r-- | reachability | 10L |
| -rw-r--r-- | reconstruction_conjecture | 5L |
| -rw-r--r-- | reduction_gap | 9L |
| -rw-r--r-- | regex | 12L |
| -rw-r--r-- | regex_deterministic | 7L |
| -rw-r--r-- | regex_formula | 9L |
| -rw-r--r-- | regexp_dataset | 17L |
| -rw-r--r-- | regular_expression | 33L |
| -rw-r--r-- | regular_expression_denial_of_service | 13L |
| -rw-r--r-- | regular_expression_deterministic | 39L |
| -rw-r--r-- | regular_expression_extensions | 15L |
| -rw-r--r-- | regular_expression_operators | 11L |
| -rw-r--r-- | regular_expression_repetition | 6L |
| -rw-r--r-- | regular_expression_strongly_deterministic | 8L |
| -rw-r--r-- | regular_language | 48L |
| -rw-r--r-- | regular_language_membership | 8L |
| -rw-r--r-- | regular_path_query | 28L |
| -rw-r--r-- | regular_trail_query | 7L |
| -rw-r--r-- | regular_tree_language | 7L |
| -rw-r--r-- | rejecting_run | 9L |
| -rw-r--r-- | relation_mathematics | 13L |
| -rw-r--r-- | relational_model | 11L |
| -rw-r--r-- | rematch | 10L |
| -rw-r--r-- | repair_counting | 5L |
| -rw-r--r-- | repair_notions | 7L |
| -rw-r--r-- | representation | 8L |
| -rw-r--r-- | representation_system | 11L |
| -rw-r--r-- | resolution | 6L |
| -rw-r--r-- | resolution_rule | 5L |
| -rw-r--r-- | result | 10L |
| -rw-r--r-- | ringels_conjecture | 8L |
| -rw-r--r-- | roths_theorem | 11L |
| -rw-r--r-- | rp | 16L |
| -rw-r--r-- | rpq_query_evaluation | 18L |
| -rw-r--r-- | run | 11L |
| -rw-r--r-- | salem_spencer_set | 7L |
| -rw-r--r-- | sampling | 16L |
| -rw-r--r-- | sampling_subgraph | 7L |
| -rw-r--r-- | satisfiability_unambiguous | 10L |
| -rw-r--r-- | schnyders_theorem | 9L |
| -rw-r--r-- | schutzenbergers_theorem | 8L |
| -rw-r--r-- | sdnnf | 7L |
| -rw-r--r-- | second_order_logic | 14L |
| -rw-r--r-- | selection_algorithm | 9L |
| -rw-r--r-- | self_loop | 13L |
| -rw-r--r-- | semantic_acyclicity | 9L |
| -rw-r--r-- | semantic_treewidth | 17L |
| -rw-r--r-- | semigroup | 14L |
| -rw-r--r-- | semiring_absorptive | 15L |
| -rw-r--r-- | semiring_circuit | 10L |
| -rw-r--r-- | semiring_idempotent | 8L |
| -rw-r--r-- | semiring_list | 28L |
| -rw-r--r-- | semiring_multiplicative_idempotent | 7L |
| -rw-r--r-- | semiring_n_idempotent | 7L |
| -rw-r--r-- | semiring_provenance | 11L |
| -rw-r--r-- | separation_logic | 9L |
| -rw-r--r-- | separator_logic | 11L |
| -rw-r--r-- | sequence | 15L |
| -rw-r--r-- | set | 7L |
| -rw-r--r-- | set_function | 13L |
| -rw-r--r-- | set_intersection | 12L |
| -rw-r--r-- | set_intersection_2 | 9L |
| -rw-r--r-- | set_theory | 5L |
| -rw-r--r-- | sharp_automaton | 9L |
| -rw-r--r-- | sharp_dfa | 11L |
| -rw-r--r-- | sharp_nfa | 17L |
| -rw-r--r-- | sharp_ufa | 12L |
| -rw-r--r-- | shortest_disjoint_paths | 11L |
| -rw-r--r-- | shortest_path_algorithm | 8L |
| -rw-r--r-- | shortest_path_almost | 9L |
| -rw-r--r-- | shuffle | 6L |
| -rw-r--r-- | shuffle_square | 9L |
| -rw-r--r-- | sidon_set | 9L |
| -rw-r--r-- | signed_hyperorderwidth | 5L |
| -rw-r--r-- | sim_width | 5L |
| -rw-r--r-- | simons_congruence | 9L |
| -rw-r--r-- | simple_max_cut | 9L |
| -rw-r--r-- | simple_path | 7L |
| -rw-r--r-- | simple_transitive_expressions | 9L |
| -rw-r--r-- | single_source_shortest_path | 6L |
| -rw-r--r-- | sipser_lautemann_theorem | 7L |
| -rw-r--r-- | sjfcq | 9L |
| -rw-r--r-- | skew_multicut | 5L |
| -rw-r--r-- | slogspace | 17L |
| -rw-r--r-- | small_universe_hitting_set | 11L |
| -rw-r--r-- | sorted_list_intersection | 11L |
| -rw-r--r-- | sorting | 17L |
| -rw-r--r-- | spanl | 9L |
| -rw-r--r-- | spanner | 59L |
| -rw-r--r-- | spanner_cfg | 6L |
| -rw-r--r-- | spanner_core | 14L |
| -rw-r--r-- | spanner_dynamic | 6L |
| -rw-r--r-- | spanner_regular | 8L |
| -rw-r--r-- | spanner_surveys | 8L |
| -rw-r--r-- | spanner_weighted | 8L |
| -rw-r--r-- | spanning_tree | 10L |
| -rw-r--r-- | spanp | 9L |
| -rw-r--r-- | sparse_boolean_matrix_multiplication | 10L |
| -rw-r--r-- | square_root_biaised_sampling | 7L |
| -rw-r--r-- | squaring | 10L |
| -rw-r--r-- | st_reachability_undirected | 9L |
| -rw-r--r-- | st_reliability | 9L |
| -rw-r--r-- | stack | 7L |
| -rw-r--r-- | star_free_language | 18L |
| -rw-r--r-- | state | 13L |
| -rw-r--r-- | state_complexity | 13L |
| -rw-r--r-- | state_set_simulation_faster | 24L |
| -rw-r--r-- | statistics | 6L |
| -rw-r--r-- | steiner_tree | 7L |
| -rw-r--r-- | stochastic_boolean_function_evaluation | 7L |
| -rw-r--r-- | strahler_number | 7L |
| -rw-r--r-- | straight_line_program | 12L |
| -rw-r--r-- | strassens_algorithm | 10L |
| -rw-r--r-- | stratification | 7L |
| -rw-r--r-- | streaming | 15L |
| -rw-r--r-- | string_distance | 10L |
| -rw-r--r-- | strong_connectivity_augmentation | 12L |
| -rw-r--r-- | strong_exponential_time_hypothesis | 9L |
| -rw-r--r-- | strong_perfect_graph_theorem | 7L |
| -rw-r--r-- | strongly_connected | 9L |
| -rw-r--r-- | strongly_connected_component | 12L |
| -rw-r--r-- | strongly_connected_component_algorithm | 8L |
| -rw-r--r-- | strongly_connected_graph | 7L |
| -rw-r--r-- | strongly_np_complete | 7L |
| -rw-r--r-- | strongly_unimodular | 9L |
| -rw-r--r-- | subfunction | 7L |
| -rw-r--r-- | subgraph | 7L |
| -rw-r--r-- | submodular_approximation | 5L |
| -rw-r--r-- | submodular_function | 9L |
| -rw-r--r-- | submodular_maximization | 9L |
| -rw-r--r-- | submodular_minimization | 8L |
| -rw-r--r-- | submodular_optimization | 9L |
| -rw-r--r-- | submodular_set_function | 12L |
| -rw-r--r-- | subsequence | 26L |
| -rw-r--r-- | subsequence_testing | 10L |
| -rw-r--r-- | subsequence_testing_gap_constraints | 12L |
| -rw-r--r-- | subsequence_universal_word | 9L |
| -rw-r--r-- | subset_sum | 24L |
| -rw-r--r-- | subset_sum_counting | 11L |
| -rw-r--r-- | substring_complexity | 9L |
| -rw-r--r-- | subword | 19L |
| -rw-r--r-- | subword_automaton | 13L |
| -rw-r--r-- | subword_universal | 10L |
| -rw-r--r-- | suffix | 15L |
| -rw-r--r-- | suffix_closed_language | 7L |
| -rw-r--r-- | suffix_free_language | 9L |
| -rw-r--r-- | superpermutation | 21L |
| -rw-r--r-- | supersequence | 9L |
| -rw-r--r-- | synchronizing_word | 7L |
| -rw-r--r-- | syntactic_monoid | 7L |
| -rw-r--r-- | syntactic_semigroup | 12L |
| -rw-r--r-- | szemeredis_theorem | 11L |
| -rw-r--r-- | tape_construction | 11L |
| -rw-r--r-- | tarsis_lemma | 5L |
| -rw-r--r-- | tdta | 21L |
| -rw-r--r-- | term | 7L |
| -rw-r--r-- | ternary_goldbach_problem | 7L |
| -rw-r--r-- | theorem | 42L |
| -rw-r--r-- | theoretical_computer_science | 50L |
| -rw-r--r-- | thompson_automaton | 15L |
| -rw-r--r-- | three_variable_per_inequality | 5L |
| -rw-r--r-- | threshold | 7L |
| -rw-r--r-- | topk | 7L |
| -rw-r--r-- | topological_minor | 11L |
| -rw-r--r-- | total_dominating_set | 7L |
| -rw-r--r-- | total_variation_distance | 6L |
| -rw-r--r-- | transient_state | 5L |
| -rw-r--r-- | transition | 11L |
| -rw-r--r-- | transition_monoid | 8L |
| -rw-r--r-- | transitivity | 8L |
| -rw-r--r-- | transitivity_tgds | 10L |
| -rw-r--r-- | tree | 77L |
| -rw-r--r-- | tree_automaton | 23L |
| -rw-r--r-- | tree_automaton_bottom_up | 12L |
| -rw-r--r-- | tree_automaton_top_down | 12L |
| -rw-r--r-- | tree_balancing | 14L |
| -rw-r--r-- | tree_decomposition | 11L |
| -rw-r--r-- | tree_decomposition_updating | 6L |
| -rw-r--r-- | tree_even | 13L |
| -rw-r--r-- | tree_labeled | 9L |
| -rw-r--r-- | tree_language | 7L |
| -rw-r--r-- | tree_odd | 11L |
| -rw-r--r-- | tree_unrooted | 5L |
| -rw-r--r-- | treelike | 11L |
| -rw-r--r-- | treelike_modulo_homomorphic_equivalence | 7L |
| -rw-r--r-- | treewidth | 45L |
| -rw-r--r-- | treewidth_directed | 10L |
| -rw-r--r-- | triangle | 18L |
| -rw-r--r-- | triangle_counting | 5L |
| -rw-r--r-- | triangle_detection | 15L |
| -rw-r--r-- | triangle_detection_conjecture | 6L |
| -rw-r--r-- | triangle_free_graph | 11L |
| -rw-r--r-- | triangle_inequality_strong | 5L |
| -rw-r--r-- | trio | 5L |
| -rw-r--r-- | tropical | 7L |
| -rw-r--r-- | tropical_semiring | 15L |
| -rw-r--r-- | tseytin_transformation | 7L |
| -rw-r--r-- | tuple_generating_dependency_sticky | 7L |
| -rw-r--r-- | turan_theorem | 11L |
| -rw-r--r-- | turing_machine | 27L |
| -rw-r--r-- | turing_machine_deterministic | 11L |
| -rw-r--r-- | turing_machine_nondeterministic | 11L |
| -rw-r--r-- | turing_machine_weighted | 14L |
| -rw-r--r-- | turing_reduction | 11L |
| -rw-r--r-- | tuzas_conjecture | 7L |
| -rw-r--r-- | twin_width | 27L |
| -rw-r--r-- | two_variable_per_inequality | 12L |
| -rw-r--r-- | two_way_nondeterministic_pushdown_automaton | 9L |
| -rw-r--r-- | two_way_string_matching | 7L |
| -rw-r--r-- | uc2rpq | 12L |
| -rw-r--r-- | ucq_non_redundant | 7L |
| -rw-r--r-- | ultrametric | 5L |
| -rw-r--r-- | unambiguity | 39L |
| -rw-r--r-- | unambiguity_alternating | 7L |
| -rw-r--r-- | unambiguous | 12L |
| -rw-r--r-- | unambiguous_marked_product | 7L |
| -rw-r--r-- | unambiguous_star_free_language | 12L |
| -rw-r--r-- | unambiguous_word_automaton_complementation | 9L |
| -rw-r--r-- | uncertain_data | 10L |
| -rw-r--r-- | underlying_undirected_graph | 8L |
| -rw-r--r-- | uniform_sampling | 7L |
| -rw-r--r-- | union | 7L |
| -rw-r--r-- | union_of_conjunctive_queries | 15L |
| -rw-r--r-- | universal_semiring | 10L |
| -rw-r--r-- | universal_word | 11L |
| -rw-r--r-- | universality_automata | 14L |
| -rw-r--r-- | universality_automata_deterministic | 9L |
| -rw-r--r-- | universality_automata_nondeterministic | 8L |
| -rw-r--r-- | up | 12L |
| -rw-r--r-- | update | 21L |
| -rw-r--r-- | update_word | 16L |
| -rw-r--r-- | van_emde_boas_tree | 9L |
| -rw-r--r-- | vardi1989note | 7L |
| -rw-r--r-- | variable_set_automaton | 16L |
| -rw-r--r-- | variety | 35L |
| -rw-r--r-- | vector_addition_tree_automata | 5L |
| -rw-r--r-- | vector_space | 6L |
| -rw-r--r-- | vertex | 9L |
| -rw-r--r-- | vertex_cover | 33L |
| -rw-r--r-- | vertex_unbalanced_triangle_listing | 9L |
| -rw-r--r-- | visibly_pushdown_automaton | 9L |
| -rw-r--r-- | viterbi_semiring | 11L |
| -rw-r--r-- | vizings_theorem | 9L |
| -rw-r--r-- | walk | 13L |
| -rw-r--r-- | walk_length | 17L |
| -rw-r--r-- | wang2024sampling | 9L |
| -rw-r--r-- | weakly_connected_component | 7L |
| -rw-r--r-- | weakly_connected_graph | 7L |
| -rw-r--r-- | weft | 7L |
| -rw-r--r-- | which_provenance | 5L |
| -rw-r--r-- | why_provenance | 9L |
| -rw-r--r-- | why_provenance_computation | 5L |
| -rw-r--r-- | wiles_theorem | 19L |
| -rw-r--r-- | word | 29L |
| -rw-r--r-- | word_automaton | 28L |
| -rw-r--r-- | word_automaton_exclusive_unary | 5L |
| -rw-r--r-- | word_automaton_unambiguous | 16L |
| -rw-r--r-- | word_combinatorics | 10L |
| -rw-r--r-- | word_problem | 6L |
| -rw-r--r-- | word_query | 7L |
| -rw-r--r-- | yaos_principle | 5L |
| -rw-r--r-- | zero_clique | 13L |
| -rw-r--r-- | zhao2024evaluating | 9L |
| -rw-r--r-- | zpp | 10L |
