Ugrás a tartalomhoz

 

Accelerating SAT solving with best-first-search

  • Metaadatok
Tartalom: http://www.cs.bme.hu/~mann/publications/CINTI-2014/Bartok...
Archívum: MTA Könyvtár
Gyűjtemény: Status = Published


Type = Book Section
Cím:
Accelerating SAT solving with best-first-search
Létrehozó:
Bartók, Dávid
Mann, Zoltán Ádám
Közreműködő:
Szakál, Anikó
Dátum:
2014
Téma:
QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
QA76 Computer software / programozás
Típus:
Book Section
PeerReviewed
Formátum:
text
Azonosító:
Bartók, Dávid and Mann, Zoltán Ádám (2014) Accelerating SAT solving with best-first-search. In: CINTI 2014 - 15th IEEE International Symposium on Computational Intelligence and Informatics. IEEE Hungary Section, Budapest, pp. 43-48. ISBN 978-1-4799-5338-7
Kapcsolat: