[m-dev.] Informal seminar Thursday: T. Mogensen

Harald Sondergaard harald at cs.mu.OZ.AU
Wed May 31 14:30:12 AEST 2000

Thursday 1 June at 10:00
Theatre 2, SEECS

       Constraints in finite semi-lattices
               Torben Mogensen

We will investigate constraint-solving in finite semi-lattices. 
We start by presenting the classical method for Horn clause
satisfaction and show how constraints over general lattices
can be translated into Horn clause constraints.  Then we
extend the Horn clause satisfaction algorithm to handle these
more general constraints directly.  Finally we present some 
results about the complexity.

mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list