| ชื่อเรื่อง | : | 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.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
