Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Dershowitz–Manna ordering

Known as: Dershowitz-Manna ordering, Multiset ordering, Multiset orderings 
In mathematics, the Dershowitz–Manna ordering is a well-founded ordering on multisets named after Nachum Dershowitz and Zohar Manna. It is often used… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The research result proves the religiosity of students of MTs Al-Quraniyah Manna in high category, while the social support level… Expand
Is this relevant?
2011
2011
The application of in-feed antibiotic growth promoters in livestock diet threatens consumer health and has arisen into a… Expand
Is this relevant?
2005
2005
A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is… Expand
  • figure 2.1
  • table 3.2
  • figure 4.1
  • table 4.2
  • table 5.3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Wireless sensor networks (WSNs) are becoming an increasingly important technology that will be used in a variety of applications… Expand
  • figure 2
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We propose some global constraints for lexicographic orderings on vectors of variables. These constraints are very useful for… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
2002
2002
We propose extending constraint solvers with multiset variables. That is, variables whose values are multisets. Such an extension… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
It is well known that the ordering of the unknowns can have a significant effect on the convergence of preconditioned conjugate… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
1986
1986
In certain applications it is necessary to communicate a description of a sequence of events where the information of interest is… Expand
Is this relevant?
1985
1985
We show that the application of the resolution principle to a set of clauses can be regarded as the construction of a term… Expand
Is this relevant?
Highly Cited
1979
Highly Cited
1979
A common tool for proving the termination of programs is the well-founded set, a set ordered in such a way as to admit no… Expand
Is this relevant?