A hierarchy of tractable subclasses for SAT and counting SAT problems
10.1109/SYNASC.2009.12
Saved in:
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39934 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-39934 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-399342023-10-30T07:09:09Z A hierarchy of tractable subclasses for SAT and counting SAT problems Andrei, Ş. Grigoraş, G. Rinard, M. Chuan Yap, R.H. COMPUTER SCIENCE 10.1109/SYNASC.2009.12 SYNASC 2009 - 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing 61-68 2013-07-04T07:52:56Z 2013-07-04T07:52:56Z 2009 Conference Paper Andrei, Ş., Grigoraş, G., Rinard, M., Chuan Yap, R.H. (2009). A hierarchy of tractable subclasses for SAT and counting SAT problems. SYNASC 2009 - 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : 61-68. ScholarBank@NUS Repository. https://doi.org/10.1109/SYNASC.2009.12 9780769539645 http://scholarbank.nus.edu.sg/handle/10635/39934 000361186200015 Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| description |
10.1109/SYNASC.2009.12 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Andrei, Ş. Grigoraş, G. Rinard, M. Chuan Yap, R.H. |
| format |
Conference or Workshop Item |
| author |
Andrei, Ş. Grigoraş, G. Rinard, M. Chuan Yap, R.H. |
| spellingShingle |
Andrei, Ş. Grigoraş, G. Rinard, M. Chuan Yap, R.H. A hierarchy of tractable subclasses for SAT and counting SAT problems |
| author_sort |
Andrei, Ş. |
| title |
A hierarchy of tractable subclasses for SAT and counting SAT problems |
| title_short |
A hierarchy of tractable subclasses for SAT and counting SAT problems |
| title_full |
A hierarchy of tractable subclasses for SAT and counting SAT problems |
| title_fullStr |
A hierarchy of tractable subclasses for SAT and counting SAT problems |
| title_full_unstemmed |
A hierarchy of tractable subclasses for SAT and counting SAT problems |
| title_sort |
hierarchy of tractable subclasses for sat and counting sat problems |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/39934 |
| _version_ |
1781411075075342336 |