Next Article in Journal
Uncertain Population Model with Jumps
Previous Article in Journal
An Imperfect Repair Model with Delayed Repair under Replacement and Repair Thresholds
 
 

Order Article Reprints

Journal: Mathematics, 2022
Volume: 10
Number: 2264

Article: A Verified Implementation of the DPLL Algorithm in Dafny
Authors: by Cezar-Constantin Andrici and Ștefan Ciobâcă
Link: https://www.mdpi.com/2227-7390/10/13/2264

MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article and designed to be complimentary to the journal.

Quote and Order Details

Contact Person

Invoice Address

Notes or Comments

Validate and Place Order

The order must be prepaid after it is placed

req denotes required fields.
Back to TopTop