On computing logic programs (Q5961490)

From MaRDI portal





scientific article; zbMATH DE number 980898
Language Label Description Also known as
default for all languages
No label defined
    English
    On computing logic programs
    scientific article; zbMATH DE number 980898

      Statements

      On computing logic programs (English)
      0 references
      0 references
      30 June 1997
      0 references
      problem-solving methods
      0 references
      linear programming
      0 references
      propositional satisfiability
      0 references
      constraint satisfaction
      0 references
      graph methods
      0 references

      Identifiers