Eintrag weiter verarbeiten
EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure: an efficient RTL satisfiability solver using an extended DPLL procedure
Gespeichert in:
| Zeitschriftentitel: | Proceedings of the 44th annual conference on Design automation - DAC '07 |
|---|---|
| Personen und Körperschaften: | , , , , |
| In: | Proceedings of the 44th annual conference on Design automation - DAC '07, 2007 |
| Format: | E-Proceedings |
| Sprache: | Unbestimmt |
| veröffentlicht: |
ACM Press
|
| author_facet |
Deng, Shujun Bian, Jinian Wu, Weimin Yang, Xiaoqing Zhao, Yanni Deng, Shujun Bian, Jinian Wu, Weimin Yang, Xiaoqing Zhao, Yanni |
|---|---|
| author |
Deng, Shujun Bian, Jinian Wu, Weimin Yang, Xiaoqing Zhao, Yanni |
| spellingShingle |
Deng, Shujun Bian, Jinian Wu, Weimin Yang, Xiaoqing Zhao, Yanni Proceedings of the 44th annual conference on Design automation - DAC '07 EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| author_sort |
deng, shujun |
| spelling |
Deng, Shujun Bian, Jinian Wu, Weimin Yang, Xiaoqing Zhao, Yanni 0738-100X ACM Press http://dx.doi.org/10.1145/1278480.1278629 an efficient RTL satisfiability solver using an extended DPLL procedure EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure Proceedings of the 44th annual conference on Design automation - DAC '07 |
| doi_str_mv |
10.1145/1278480.1278629 |
| facet_avail |
Online |
| format |
ElectronicProceeding |
| fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8xMjc4NDgwLjEyNzg2Mjk |
| id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8xMjc4NDgwLjEyNzg2Mjk |
| institution |
DE-Zi4 DE-15 DE-14 DE-105 DE-Ch1 |
| imprint |
ACM Press, 2007 |
| imprint_str_mv |
ACM Press, 2007 |
| issn |
0738-100X |
| issn_str_mv |
0738-100X |
| language |
Undetermined |
| mega_collection |
ACM Press (CrossRef) |
| match_str |
deng2007ehsatanefficientrtlsatisfiabilitysolverusinganextendeddpllprocedureanefficientrtlsatisfiabilitysolverusinganextendeddpllprocedure |
| publishDateSort |
2007 |
| publisher |
ACM Press |
| recordtype |
ai |
| record_format |
ai |
| series |
Proceedings of the 44th annual conference on Design automation - DAC '07 |
| source_id |
49 |
| title_sub |
an efficient RTL satisfiability solver using an extended DPLL procedure |
| title |
EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_unstemmed |
EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_full |
EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_fullStr |
EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_full_unstemmed |
EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_short |
EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_sort |
ehsat : an efficient rtl satisfiability solver using an extended dpll procedure |
| url |
http://dx.doi.org/10.1145/1278480.1278629 |
| publishDate |
2007 |
| physical |
|
| description |
|
| container_start_page |
0 |
| container_title |
Proceedings of the 44th annual conference on Design automation - DAC '07 |
| format_de105 |
Article, E-Article |
| format_de14 |
Proceeding |
| format_de15 |
Proceeding |
| format_de520 |
Proceeding |
| format_de540 |
Proceeding |
| format_dech1 |
Proceeding |
| format_ded117 |
Proceeding |
| format_degla1 |
E-Journal |
| format_del152 |
Proceeding |
| format_del189 |
Proceeding |
| format_dezi4 |
Proceeding |
| format_dezwi2 |
Proceeding |
| format_finc |
Proceeding |
| format_nrw |
Proceeding |
| _version_ |
1792321722428424194 |
| geogr_code |
not assigned |
| last_indexed |
2024-03-01T11:06:30.554Z |
| geogr_code_person |
not assigned |
| openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=EHSAT+%3A+an+efficient+RTL+satisfiability+solver+using+an+extended+DPLL+procedure&rft.date=2007&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.creator=Deng%2C+Shujun&rft.pub=ACM+Press&rft.format%5B0%5D=ElectronicProceeding&rft.language=Undetermined |
| SOLR | |
| _version_ | 1792321722428424194 |
| author | Deng, Shujun, Bian, Jinian, Wu, Weimin, Yang, Xiaoqing, Zhao, Yanni |
| author_facet | Deng, Shujun, Bian, Jinian, Wu, Weimin, Yang, Xiaoqing, Zhao, Yanni, Deng, Shujun, Bian, Jinian, Wu, Weimin, Yang, Xiaoqing, Zhao, Yanni |
| author_sort | deng, shujun |
| container_start_page | 0 |
| container_title | Proceedings of the 44th annual conference on Design automation - DAC '07 |
| description | |
| doi_str_mv | 10.1145/1278480.1278629 |
| facet_avail | Online |
| format | ElectronicProceeding |
| format_de105 | Article, E-Article |
| format_de14 | Proceeding |
| format_de15 | Proceeding |
| format_de520 | Proceeding |
| format_de540 | Proceeding |
| format_dech1 | Proceeding |
| format_ded117 | Proceeding |
| format_degla1 | E-Journal |
| format_del152 | Proceeding |
| format_del189 | Proceeding |
| format_dezi4 | Proceeding |
| format_dezwi2 | Proceeding |
| format_finc | Proceeding |
| format_nrw | Proceeding |
| geogr_code | not assigned |
| geogr_code_person | not assigned |
| id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8xMjc4NDgwLjEyNzg2Mjk |
| imprint | ACM Press, 2007 |
| imprint_str_mv | ACM Press, 2007 |
| institution | DE-Zi4, DE-15, DE-14, DE-105, DE-Ch1 |
| issn | 0738-100X |
| issn_str_mv | 0738-100X |
| language | Undetermined |
| last_indexed | 2024-03-01T11:06:30.554Z |
| match_str | deng2007ehsatanefficientrtlsatisfiabilitysolverusinganextendeddpllprocedureanefficientrtlsatisfiabilitysolverusinganextendeddpllprocedure |
| mega_collection | ACM Press (CrossRef) |
| physical | |
| publishDate | 2007 |
| publishDateSort | 2007 |
| publisher | ACM Press |
| record_format | ai |
| recordtype | ai |
| series | Proceedings of the 44th annual conference on Design automation - DAC '07 |
| source_id | 49 |
| spelling | Deng, Shujun Bian, Jinian Wu, Weimin Yang, Xiaoqing Zhao, Yanni 0738-100X ACM Press http://dx.doi.org/10.1145/1278480.1278629 an efficient RTL satisfiability solver using an extended DPLL procedure EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure Proceedings of the 44th annual conference on Design automation - DAC '07 |
| spellingShingle | Deng, Shujun, Bian, Jinian, Wu, Weimin, Yang, Xiaoqing, Zhao, Yanni, Proceedings of the 44th annual conference on Design automation - DAC '07, EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title | EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_full | EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_fullStr | EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_full_unstemmed | EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_short | EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_sort | ehsat : an efficient rtl satisfiability solver using an extended dpll procedure |
| title_sub | an efficient RTL satisfiability solver using an extended DPLL procedure |
| title_unstemmed | EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure |
| url | http://dx.doi.org/10.1145/1278480.1278629 |