wiki_research

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

satisfiability_finite (223B)

      1 # Finite satisfiability
      2 
      3 Like [satisfiability] but deciding whether a [logic_formula] has a [finite_model]
      4 
      5 - [finite_model_property]
      6 - [finite_controllability]
      7 
      8 Up: [satisfiability]
      9 
     10 Aliases: finite satisfiability, finsat