default search action

combined dblp search
author search
venue search
publication search

ask others

Journal on Satisfiability, Boolean Modeling and Computation, Volume 8

> Home > Journals > Journal on Satisfiability, Boolean Modeling and Computation

Refine list

refinements active!

zoomed in on 13 of 13 records

view refined list in

export refined list as

showing all 13 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 8, Numbers 1/2, 2012

Articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/Griggio12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/Griggio12
Alberto Griggio:
A Practical Approach to Satisability Modulo Linear Integer Arithmetic. 1-27
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/AlbertiGPRR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/AlbertiGPRR12
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. 29-61
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/Wild12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/Wild12
Marcel Wild:
Compactly Generating All Satisfying Truth Assignments of a Horn Formula. 63-82
no results

System Descriptions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/ChenM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/ChenM12
Huan Chen, João Marques-Silva:
TG-Pro: A SAT-based ATPG System. 83-88
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/JanotaLMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/JanotaLMM12
Mikolás Janota, Inês Lynce, Vasco Manquinho, João Marques-Silva:
PackUp: Tools for Package Upgradability Solving. 89-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/KoshimuraZFH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/KoshimuraZFH12
Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa:
QMaxSAT: A Partial Max-SAT Solver. 95-100
no results

Articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/BubeckB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/BubeckB12
Uwe Bubeck, Hans Kleine Büning:
Encoding Nested Boolean Functions as Quantified Boolean Formulas. 101-116
no results

Volume 8, Numbers 3/4, 2012

System Descriptions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/Gelder12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/Gelder12
Allen Van Gelder:
Contrasat - A Contrarian SAT Solver. 117-122
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/BelovM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/BelovM12
Anton Belov, João Marques-Silva:
MUSer2: An Efficient MUS Extractor. 123-128
no results

Volume 8, Numbers 3/4, 2014

Articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/WeaverRMMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/WeaverRMMW14
Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden Walker:
Satisfiability-based Set Membership Filters. 129-148
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/KrzakalaMZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/KrzakalaMZ14
Florent Krzakala, Marc Mézard, Lenka Zdeborová:
Reweighted Belief Propagation and Quiet Planting for Random K-SAT. 149-171
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/Schwerdtfeger14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/Schwerdtfeger14
Konrad W. Schwerdtfeger:
A Computational Trichotomy for Connectivity of Boolean Satisfiability. 173-195
no results

System Descriptions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/BerreR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/BerreR14
Daniel Le Berre, Stéphanie Roussel:
Sat4j 2.3.2: on the fly solver configuration System Description. 197-202
no results

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.