User:Michael Veksler
Jump to navigation
Jump to search
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)