A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads (Englisch)
- Neue Suche nach: Hiramoto, S.
- Neue Suche nach: Nakanishi, M.
- Neue Suche nach: Yamashita, S.
- Neue Suche nach: Nakashima, Y.
- Neue Suche nach: Hiramoto, S.
- Neue Suche nach: Nakanishi, M.
- Neue Suche nach: Yamashita, S.
- Neue Suche nach: Nakashima, Y.
- Neue Suche nach: Diniz, P. C.
- Neue Suche nach: Marques, E.
- Neue Suche nach: Bertels, K.
- Neue Suche nach: Fernandes, M. M.
- Neue Suche nach: Cardoso, J. M. P.
In:
Reconfigurable Computing: Architectures, Tools and Applications
4419
;
343-349
;
2007
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads
-
Beteiligte:Hiramoto, S. ( Autor:in ) / Nakanishi, M. ( Autor:in ) / Yamashita, S. ( Autor:in ) / Nakashima, Y. ( Autor:in ) / Diniz, P. C. / Marques, E. / Bertels, K. / Fernandes, M. M. / Cardoso, J. M. P.
-
Erschienen in:Reconfigurable Computing: Architectures, Tools and Applications , 4419 ; 343-349LECTURE NOTES IN COMPUTER SCIENCE , 4419 ; 343-349
-
Verlag:
- Neue Suche nach: SPRINGER-VERLAG
-
Erscheinungsdatum:01.01.2007
-
Format / Umfang:7 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.