Cost-driven interactive csp with constraint relaxation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5732 LNCS, Issue , 2009, Pages 707-722

  Schreiber, Yevgeny ^a  

^a INTEL CORPORATION   (Israel)

Author keywords

Constraint Relaxation; Cost Driven Interactive CSP; Functional Test Generation; ICSP

Indexed keywords

CONSTRAINT PROPAGATION; CONSTRAINT RELAXATION; EXTERNAL COSTS; FUNCTIONAL TEST GENERATION; GENERAL MODEL; ICSP; PROBLEM DOMAIN; RELAXATION ALGORITHM;

COMPUTER OPERATING PROCEDURES; COMPUTER PROGRAMMING; CONSTRAINT THEORY; COST FUNCTIONS;

COSTS;

EID: 70350407547     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04244-7_55     Document Type: Conference Paper

References (20)

1. Adir, A., Emek, R., Katz, Y., Koyfman, A.: DeepTrans - a model-based approach to functional verification of address translation mechanisms. In: Proc. 4th Internat. Worksh. on Microprocessor Test and Verification: Common Challenges and Solutions, pp. 3-6. IEEE CS Press, Los Alamitos (2003)
2. Barruffi, R., Lamma, E., Mello, P., Milano, M.: Least commitment on variable binding in presence of incomplete knowledge. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol. 1809, pp. 159-171. Springer, Heidelberg (2000)
3. Cucchiara, R., Gavanelli, M., Lamma, E., Mello, P., Milano, M., Piccardi, M.: Constraint propagation and value acquisition: Why we should do it interactively. In: Proc. 16th Internat. Joint Conf. on Artif. Intell., Stockholm, pp. 468-477 (1999)
4. Dechter, R.: On the expressiveness of networks with hidden variables. In: Proc. 8th National Conf. on Artif. Intell., Boston, pp. 556-562 (1990)
5. Dechter, R., Dechter, A.: Belief maintenance in dynamic constraint networks. In: Proc. 7th National Conf. on Artif. Intell., St. Paul, pp. 37-42 (1988)
6. Faltings, B.: Distributed constraint programming. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, ch. 20, pp. 699-729. Elsevier, Amsterdam (2006)
7. Faltings, B., Macho-Gonzalez, S.: Open constraint programming. Artif. Intell. 161(1-2), 181-208 (2005)
8. Ferguson, A., O'Sullivan, B.: Quantified constraint satisfaction problems: from relaxations to explanations. In: Proc. Internat. Joint Conf. on Artif. Intell (IJCAI), pp. 74-79. Morgan Kaufmann, San Francisco (2007)
9. Gutkovich, B., Moss, A.: CP with architectural state lookup for functional test generation. In: 11th Annu. IEEE Internat. Worksh. on High Level Design Validation and Test, pp. 111-118 (2006)
10. ILOG Solver 6.5 reference manual (October 2007)
11. Intel® 64 and IA-32 architectures software developer's manual (February 2008)
12. Jussien, N., Boizumault, P.: Implementing constraint relaxation over finite domains using ATMS. In: Jampel, M., Maher, M.J., Freuder, E.C. (eds.) CP-WS 1995. LNCS, vol. 1106, pp. 265-280. Springer, Heidelberg (1996)
13. Macho-Gonzalez, S., Ansotegui, C., Meseguer, P.: Boosting open CSPs. In: Ben-hamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 314-328. Springer, Heidelberg (2006)
14. Macho-Gonzalez, S., Meseguer, P.: Open, Interactive and Dynamic CSP. In: Proc. Internat. Worksh. on Constraint Solving under Change and Uncertainty (CP 2005), pp. 13-17 (2005)
15. Moss, A.: Constraint patterns and search procedures for CP-based random test generation. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 86-103. Springer, Heidelberg (2008)
16. Naveh, Y., Rimon, M., Jaeger, I., Katz, Y., Vinov, M., Marcus, E., Shurek, G.: Constraint-based random stimuli generation for hardware verification. AI Magazine 28(3), 13-30 (2007)
17. Papadopoulos, A., O'Sullivan, B.: Relaxations for compiled over-constrained problems. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 433-447. Springer, Heidelberg (2008)
18. Schiex, T., Fargier, H., Verfaillie, G.: Valued constraint satisfaction problems: Hard and easy problems. In: Proc. Internat. Joint Conf. on Artif. Intell (IJCAI), Montreal, pp. 631-637 (1995)
19. Sergot, M.: A query-the-user facility for logic programming. In: Degano, P., Sande-wall, E. (eds.) Integrated Interactive Computing Systems, pp. 27-41. North-Holland, Amsterdam (1983)
20. Verfaillie, G., Jussien, N.: Constraint solving in uncertain and dynamic environments: A survey. Constraints 10(33), 253-281 (2005)