User:Michael Veksler

I am a graduate student at the Technion who has completed most of my M.Sc. requirements.

As far as Wikipedia goes, I am interested in contributing to entries related to:

• Constraint satisfaction problem (CSP)
• Boolean satisfiability problem (SAT)
• Uses of SAT, such as formal verification
• Uses of CSP
• CSP propagation algorithms, such as:

• alldifferent as mentioned in Hyper-arc consistency. This includes the relevant parts in Graph theory used for its implementation.
• selection constraints as implemented in Minion_(solver)