On the Hardware Architecture for Satisfiability Problems
Mona Mohamed Hassan Safar;
Abstract
The Boolean Satisfiability problem (SAT) is a central problem in artificial intelligence,
mathematical logic, and computing theory with wide range of practical applications in
Electronic Design Automation. Several approaches have been proposed to accele
mathematical logic, and computing theory with wide range of practical applications in
Electronic Design Automation. Several approaches have been proposed to accele
Other data
| Title | On the Hardware Architecture for Satisfiability Problems | Other Titles | بناء دوائر عددية لحل المسائل التحقيقية | Authors | Mona Mohamed Hassan Safar | Keywords | On the Hardware Architecture for Satisfiability Problems | Issue Date | 2011 | Description | The Boolean Satisfiability problem (SAT) is a central problem in artificial intelligence, mathematical logic, and computing theory with wide range of practical applications in Electronic Design Automation. Several approaches have been proposed to accele |
Attached Files
| File | Size | Format | |
|---|---|---|---|
| 103871p3388.pdf | 80.86 kB | Adobe PDF | View/Open |
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.