1. A knowledge compilation map;Darwiche;J. Artificial Intelligence Res.,2002
2. Computing the minimum DNF representation of boolean functions defined by intervals;Schieber;Discrete Appl. Math.,2005
3. D. Lewin, L. Fournier, M. Levinger, E. Roytman, G. Shurek, Constraint satisfaction for test program generation, in: IEEE 14th Phoenix Conference on Computers and Communications, 1995, pp. 45–48.
4. C. Huang, K. Cheng, Solving constraint satisfiability problem for automatic generation of design verification vectors, in: Proceedings of the IEEE International High Level Design Validation and Test Workshop, 1999, pp. 30–36.
5. Recognition of interval Boolean functions;Čepek;Ann. Math. Artif. Intell.,2008