Login / Signup
Efficient Verification using Generalized Partial Order Analysis.
Steven Vercauteren
Diederik Verkest
Gjalt G. de Jong
Bill Lin
Published in:
DATE (1998)
Keyphrases
</>
partial order
partially ordered
stable marriage
total order
data mining
multi agent