wiki_research

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

first_order_model_checking (589B)


      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 ## Bounded variables
     13 
     14 - [first_order_model_checking_fok]
     15 - [first_order_model_checking_fo2]
     16 
     17 ## [parameterized_complexity]
     18 
     19 [fo_model_checking_parameterized_complexity]
     20 
     21 Up: [model_checking] for [first_order_logic]
     22 
     23 See also: [fine_grained_complexity], [clique_problem]
     24 
     25 Aliases: FO model checking