| ชื่อเรื่อง | : | Correctness of solving query-answering problems using satisfiability solvers |
| นักวิจัย | : | Akama, Kiyoshi , Ekawit Nantajeewarawat |
| คำค้น | : | Problem solving , Query-answering problems , SAT solvers |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2556 |
| อ้างอิง | : | Lecture Notes in Computer Science. 7802, 1 (2013) pp. 404-413 , 0302-9743 , http://dspace.library.tu.ac.th/handle/3517/6864 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | A query-answering (QA) problem is concerned with finding the set of all ground instances of a given atomic formula that are logical consequences of a specified logical formula. Recently, many kinds of problems have been solved efficiently by using satisfiability (SAT) solvers, motivating us to use SAT solvers to speed up solving a class of QA problems. Given a finite ground clause set as input, a SAT solver used in this paper generates all models of the input set that contain only atomic formulas appearing in it. A method for solving QA problems using SAT solvers is developed, based on the use of a support set to restrict the generation of ground instances of given clauses possibly with constraint atomic formulas. The correctness of the proposed method is proved. © 2013 Springer-Verlag. |
| บรรณานุกรม | : |
Akama, Kiyoshi , Ekawit Nantajeewarawat . (2556). Correctness of solving query-answering problems using satisfiability solvers.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat . 2556. "Correctness of solving query-answering problems using satisfiability solvers".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat . "Correctness of solving query-answering problems using satisfiability solvers."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2556. Print. Akama, Kiyoshi , Ekawit Nantajeewarawat . Correctness of solving query-answering problems using satisfiability solvers. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2556.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
