proposed by | Francisco Azevedo fa@di.fct.unl.pt |
A complete description with references can be found at:
Eric W. Weisstein. "Steiner Triple System." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/SteinerTripleSystem.html
Other References:
L. Babai, Almost all Steiner triple systems are asymmetric, in Topics in Steiner systems (ed. C. C. Lindner and A. Rosa), Ann. Discrete Math. 7, Elsevier, Amsterdam, 1979, pp. 37-39.
[Lueneburg 1989] H. Lueneburg, Tools and Fundamental Constructions of Combinatorial Mathematics, Wissenschaftverlag, 1989.
[Lindner and Rosa 1980] C. C. Lindner and A. Rosa, Topics on Steiner Systems, Annals of Discrete Mathematics, Vol. 7, North Holland, 1980.
N. Beldiceanu, An Example of Introduction of Global Constraints in CHIP: Application to Block Theory Problems, Technical Report TR-LP-49, ECRC, Munich, Germany, 1990.
Some (Set) Constraint Programming Approaches:
C. Gervet, Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language, Constraints International Journal, Vol. 1, Number 3, Kluwer Academic Publishers, pages 191-244, March 1997.
Francisco Azevedo, Constraint Solving over Multi-valued Logics - Application to Digital Circuits, vol 91 of Frontiers of Artificial Intelligence and Applications, ISBN: 1 58603 304 2, IOS Press, xviii + 204 pages, 2003.
V. Lagoon and P.J. Stuckey Set domain propagation using ROBDDs In M. Wallace, editor, Proceedings of the Ninth International Conference on Principles and Practices of Constraint Programming, LNCS, pages 347-361. Springer-Verlag, 2004.