Model Checking with Boolean Satisfiability

Marques-Silva, Joao (2008) Model Checking with Boolean Satisfiability. Journal of Algorithms in Cognition, Informatics and Logic, 63 (1-3), 3-16.

Record type: Article

Text

jpms-jalgor08-prelim.pdf - Other

Download (211kB)

More information

Published date: 2008

Organisations: Electronics & Computer Science

Local EPrints ID: 265229

URI: http://eprints.soton.ac.uk/id/eprint/265229

PURE UUID: 59fe796e-a784-44f7-a6f8-f24f34df79f2

Date deposited: 29 Feb 2008 12:14

Last modified: 14 Mar 2024 08:04

Author: Joao Marques-Silva

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.