Adjusted winner procedure
Adjusted Winner (AW) is a procedure for envy-free item assignment. Given two agents and some goods, it returns a partition of the goods between the agents with the following properties:

 Envy-freeness: Each agent believes that his share of the goods is at least as good as the other share;
 Equitability: The "relative happiness levels" of both agents from their shares are equal;
 Pareto-optimality: no other allocation is better for one agent and at least as good for the other agent;
 At most one good has to be divided between the agents.

For two agent, Adjusted Winner is the only Pareto optimal and equitable that divides the minimum number of items.

The procedure can be used in divorce settlements and partnership dissolutions, as well as international conflicts.

The procedure was designed by Steven Brams and Alan D. Taylor. It was first published in their book on fair division  and later in a stand-alone book. The algorithm is patented in the United States. It has been commercialized through the FairOutcomes website.

Method
Each partner is given the list of goods and an equal number of points (e.g. 100 points) to distribute among them. He or she assigns a value to each good and submits it sealed to an arbiter.

The arbiter, or a computer program, assigns each item to the high bidder. If both partners have the same number of points, then we are done. Otherwise, call the partner who has more points "winner" and the other partner "loser".

Order the goods in increasing order of the ratio value-for-winner / value-for-loser. Start moving goods in this order from the winner to the loser, until the point-totals become "almost" equal, i.e., moving one more good from the winner to the loser will make the winner have less points than the loser.

At this point, divide the next good between the winner and the loser such that their totals are the same.

Strategies
AW is not a truthful mechanism - the partners might gain from spying after their partners and modifying their reports in order to get a larger share. However, the authors claim that such manipulation can be difficult to carry out, so in practice, using this method would encourage honesty.

AW always has an approximate Nash equilibrium. Under informed tie-breaking, it also has a pure Nash equilibrium.

Limitations 
As patented, AW assumes that the partners have additive utility functions, so that the utility of a set of goods is the sum of utilities of the goods. It does not handle, for example, multiple identical assets with diminishing marginal utility.

AW is built for two agents. When there are three or more agents, there may be no allocation that is simultaneously envy-free, equitable and Pareto-optimal. This is shown by the following example, constructed by J.H.Reijnierse.  There are three goods and three agents with the following points:

 Alice: 40, 50, 10
 Bob: 30, 40, 30
 Carl: 30, 30, 40

It is possible to show that the only PO and equitable allocation is the one that gives good 1 to Alice, good 2 to Bob and good 3 to Carl. The equitable value in this case is 40. However, this allocation is not envy-free since Alice envies Bob.

Each two of these three properties can be satisfied simultaneously. PO+EF allocations can be found by several algorithms; see Pareto-efficient envy-free division and also Weller's theorem. PO+EQ allocations can be found by linear programming. An EF+EQ allocation can be found by just giving each agent an equal amount of each good.

Software patent 
AW was patented in the United States but that patent has expired. Some concerns have been raised that this patent is overly broad.

Use cases 
While there is no account of AW actually being used to resolve disputes, there are several counterfactual studies checking what would have been the results of using this procedure to solve international disputes.

For the Camp David Accords, the authors construct approximate numeric valuation functions for Israel and Egypt, based on the relative importance of each issue for each country. They then run the AW protocol. The theoretical results are very similar to the actual agreement, which leads the authors to conclude that the agreement is as fair as it could be.
 For the Israeli-Palestinian conflict, the author constructs the valuation functions based on a survey of expert opinions, and describes the agreement that would result from running the AW protocol with these valuations.
 For the Spratly Islands dispute, the authors construct a two-phase procedure for settling the dispute, and present its (hypothetic) outcome.
Other use-cases are the Panama Canal Treaties, the Jolis vs. Jolis divorce case (1980), and more.

Related procedures 
The Brams–Taylor procedure was designed by the same authors, but it is different - it is a procedure for envy-free cake-cutting. While AW handles homogeneous goods, the BT procedure handles a heterogeneous resource ("cake") which is much more challenging. Accordingly, BT guarantees only envy-freeness - it does not guarantee equitability or Pareto-optimality.