ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Monadic constraint programming

หน่วยงาน Edinburgh Research Archive, United Kingdom

รายละเอียด

ชื่อเรื่อง : Monadic constraint programming
นักวิจัย : Schrijvers, Tom , Stuckey, Peter , Wadler, Philip
คำค้น : Informatics , Computer Science
หน่วยงาน : Edinburgh Research Archive, United Kingdom
ผู้ร่วมงาน : -
ปีพิมพ์ : 2552
อ้างอิง : http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=6488640 , http://hdl.handle.net/1842/3681 , 10.1017/S0956796809990086 , 09567968
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

A constraint programming system combines two essential components: a constraint solver and a search engine. The constraint solver reasons about satisfiability of conjunctions of constraints, and the search engine controls the search for solutions by iteratively exploring a disjunctive search tree defined by the constraint program. In this paper we give a monadic definition of constraint programming in which the solver is defined as a monad threaded through the monadic search tree. We are then able to define search and search strategies as first-class objects that can themselves be built or extended by composable search transformers. Search transformers give a powerful and unifying approach to viewing search in constraint programming, and the resulting constraint programming system is first class and extremely flexible.

บรรณานุกรม :
Schrijvers, Tom , Stuckey, Peter , Wadler, Philip . (2552). Monadic constraint programming.
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Schrijvers, Tom , Stuckey, Peter , Wadler, Philip . 2552. "Monadic constraint programming".
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Schrijvers, Tom , Stuckey, Peter , Wadler, Philip . "Monadic constraint programming."
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2552. Print.
Schrijvers, Tom , Stuckey, Peter , Wadler, Philip . Monadic constraint programming. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2552.