Abstract Modeling a combinatorial problem is hard and error-prone task requiring significant expertise. Constraint acquisition methods attempt to automate this process by learning constraints from examples of solutions (usually) non-solutions. Active query an oracle while passive do not. We propose known but not widely-used application machine constraint acquisition: training classifier discrim...