Filter Results

Select search scope: search across all journals or within the current journal

Search this journal

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

All content on this site: Copyright © 2026 Sage Publications. All rights reserved. This website is technically supported and operated by China National Publications Import and Export (Group) Co., Ltd. 京ICP备09090397号-11

Preface to Special Issue on Satisfiability Modulo Theories

Journal on Satisfiability,Boolean Modelling and Computation

Journal indexing and metrics

Journal Homepage Submission guidelines

Open access

Editorial

First published online February, 2007

Preface to Special Issue on Satisfiability Modulo Theories

and

Volume 3, Issue 1-2

https://doi.org/10.3233/SAT190027

Abstract

Browse journal

Current issue OnlineFirst All issues

Similar articles

Restricted access

Demanding applications in harsh environment – FeCrMnNiC amorphous equiatomic alloy thin film

Available access

The Elephant in the New Space Room: Risk Identification,Management,and Mitigation

Available access

Dissimilarity functions co-symmetry property: a focus on probability distributions with involutive negation

Available access

The Scope and Challenges for Deep Learning