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

[Harald Sondergaard]

Thursday 1 June at 10:00
Theatre 2, SEECS

       Constraints in finite semi-lattices
               Torben Mogensen

Abstract: 
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
--------------------------------------------------------------------------