Efficient Verified (UN)SAT Certificate Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-63046-5_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Versat: A Verified Modern SAT Solver

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Verified SAT Solver Framework With Learn, Forget, Restart, and Incrementality

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Model Checking With SAT-Based Characterization of ACTL Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Efficient SAT Solving: Beyond Supercubes

2005English

Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets

2007English

MiniMaxSAT: An Efficient Weighted Max-Sat Solver

Journal of Artificial Intelligence Research
Artificial Intelligence
2008English

Efficient Authorization Authority Certificate Distribution in VANETs

2016English

Efficient Large-Scale Model Checking

2009English

A Compact and Efficient SAT Encoding for Quantum Circuits

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy