wiki_research

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

first_order_model_checking (512B)

      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 Up: [model_checking] for [first_order_logic]
     18 
     19 See also: [fine_grained_complexity], [clique_problem]
     20 
     21 Aliases: FO model checking