Component constraint detection based on proposition logic (Q3516461)

From MaRDI portal





scientific article; zbMATH DE number 5307167
Language Label Description Also known as
default for all languages
No label defined
    English
    Component constraint detection based on proposition logic
    scientific article; zbMATH DE number 5307167

      Statements

      0 references
      0 references
      6 August 2008
      0 references
      component constraint
      0 references
      proposition logic
      0 references
      truth table
      0 references
      detection algorithm
      0 references

      Identifiers