Skip to content
  • 0 items (Full)
  • HOME
  • SERVICES
  • NEWS
  • INFORMATION
  • CONTACT
ADV
  • Verified Propagation Redundanc...
  • Holdings
  • Cite this
  • Text this
  • Email this
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Add to Book Bag Remove from Book Bag
Cover Image

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

CC BY

Saved in:
Bibliographic Details
Main Authors: Yong Kiam, Tan, Marijn J. H., Heule, Magnus O., Myreen
Format: Book
Language:English
Published: Springer 2023
Subjects:
SAT
LPR
Online Access:https://link.springer.com/article/10.1007/s10009-022-00690-y
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7368
Tags: Add Tag
No Tags, Be the first to tag this record!
  • Holdings
  • Description
  • Comments
  • Similar Items
  • Staff View

Internet

https://link.springer.com/article/10.1007/s10009-022-00690-y
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7368

Similar Items

  • Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra
    by: Daniela, Kaufmann, et al.
    Published: (2023)
  • Hoàn thiện công tác giám sát thực hiện dự án tòa nhà hỗn hợp đài phát thanh truyền hình Hà Nội /
    by: Vũ, Văn Hoàng
    Published: (2019)
  • Lập trình và giám sát mạng truyền thông công nghiệp SCADA /
    by: Đỗ, Việt Dũng,
    Published: (2019)
  • Khảo sát văn hóa truyền thống Mường Đủ /
    by: Trần, Thị Liên
    Published: (2013)
  • Luật Tổ chức Viện kiểm sát nhân dân năm 2014
    by: Quốc Hội
    Published: (2020)

LIBRARY - PHENIKAA UNIVERSITY


    Yen Nghia Ward, Ha Dong Distric, Ha Noi City, Viet Nam

    0246.6291 8118 | Số máy lẻ: 117

    elib@phenikaa-uni.edu.vn

  • NEWS
  • CONTACT
  • INFORMATION
  • SERVICES

    Total visits

    counter free
Copyright © 2018 Phenikaa University
Loading...
Cannot write session to /tmp/vufind_sessions/sess_648p15kqo9fc5k2fk0qgopje09