wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

first_order_model_checking (636B)

      1 # First order model checking
      2 
      3 ## On specific graph classes
      4 
      5 [first_order_model_checking_restricted_classes]
      6 
      7 ## [hypothesis]
      8 
      9 [first_order_property_conjecture] on the hardness of FO model checking, cf [gao2018completeness]
     10   - it is a weaker version of [strong_exponential_time_hypothesis]
     11 
     12 ## On specific [logical_fragments]
     13 
     14 - [first_order_model_checking_fok]
     15 - [first_order_model_checking_fo2]
     16 
     17 ## [Computational_complexity]
     18 
     19 [FO_model_checking_complexity]
     20 - [fo_model_checking_parameterized_complexity]
     21 
     22 Up: [model_checking] for [first_order_logic]
     23 
     24 See also: [fine_grained_complexity], [clique_problem]
     25 
     26 Aliases: FO model checking