So I Sat Down with My Mother: Connectedness Orientation and Pupils' Independence.
Anders EklöfLars-Erik NilssonPeter SvenssonPublished in: WCCE (2009)
Keyphrases
- sat solvers
- connected components
- satisfiability problem
- gabor filters
- pilot study
- conditional independence
- computer assisted
- phase transition
- orientation estimation
- sat problem
- search algorithm
- search strategies
- pseudo boolean constraints
- variable ordering
- boolean satisfiability
- sat instances
- elementary school
- position and orientation
- state space
- probabilistic model
- evolutionary algorithm