Representing and Solving Finite−Domain Constraint Problems Using Systems of Polynomials

In this paper we investigate the use of a system of multivariate polynomials to represent the restrictions imposed by a collection of constraints. The advantage of using polynomials to represent constraints is that it allows many different forms of constraints to be treated in a uniform way. Systems...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Jefferson, C, Jeavons, P, Green, M, van Dongen, M
বিন্যাস: Report
প্রকাশিত: Oxford University Computing Laboratory 2007