Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up

Planned intervention: We expect a short interruption on Wednesday, July 15th, at approximately 06:00 (UTC), due to a platform update.

 
Published December 28, 2004 | Version v1
Journal article Open

Tuning SAT for Formal Verification and Testing

Authors/Creators

  • Velev, Miroslav1
  • 1. Reservoir Labs, New York, NY, United States of America

Description

Tuning SAT for Formal Verification and Testing

Files

jucs_article_28322.pdf

Files (22.3 kB)

Name Size Download all
jucs_article_28322.pdf
md5:0ee6259c20243a6bbe1c17a671361413
22.3 kB Preview Download
56
Views
68
Downloads
Show more details
All versions This version
Views

Total views

56 56
Downloads

Total downloads

68 68
Data volume

Total data volume

1.5 MB 1.5 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.3217/jucs-010-12
DOI Badge

DOI 

10.3217/jucs-010-12

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.3217/jucs-010-12.svg)](https://doi.org/10.3217/jucs-010-12)

reStructuredText 

.. image:: https://zenodo.org/badge/DOI/10.3217/jucs-010-12.svg
  :target: https://doi.org/10.3217/jucs-010-12

HTML 

<a href="https://doi.org/10.3217/jucs-010-12"><img src="https://zenodo.org/badge/DOI/10.3217/jucs-010-12.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.3217/jucs-010-12.svg

Target URL 

https://doi.org/10.3217/jucs-010-12
Resource type
Journal article
Publisher
Journal of Universal Computer Science
Published in
JUCS - Journal of Universal Computer Science, 10((12)), 1559-1561, 2004.

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
August 16, 2022
Modified
July 16, 2024

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies