Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal on Satisfiability, Boolean Modeling and Computation, Volume 6

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 6, Number 1-3, May 2009

Articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/Szeider09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/Szeider09
Stefan Szeider:
Matched Formulas and Backdoor Sets. 1-12
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HausTW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HausTW09
Utz-Uwe Haus, Klaus Truemper, Robert Weismantel:
Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks. 13-32
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/GershmanS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/GershmanS09
Roman Gershman, Ofer Strichman:
HaifaSat: a SAT solver based on an Abstraction/Refinement model. 33-51
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HirschKKN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HirschKKN09
Edward A. Hirsch, Arist Kojevnikov, Alexander S. Kulikov, Sergey I. Nikolenko:
Complexity of Semialgebraic Proofs with Restricted Degree of Falsity. 53-69
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/GilFS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/GilFS09
Luís Gil, Paulo F. Flores, Luís Miguel Silveira:
PMSat: a parallel version of MiniSAT. 71-98
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/ChuHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/ChuHS09
Geoffrey Chu, Aaron Harwood, Peter J. Stuckey:
Cache Conscious Data Structures for Boolean Satisfiability Solvers. 99-120
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/BuchheimR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/BuchheimR09
Christoph Buchheim, Giovanni Rinaldi:
Terse Integer Linear Programs for Boolean Optimization. 121-139
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HertelU09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HertelU09
Alexander Hertel, Alasdair Urquhart:
Algorithms and Complexity Results for Input and Unit Resolution. 141-164
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/BrummayerB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/BrummayerB09
Robert Brummayer, Armin Biere:
Lemmas on Demand for the Extensional Theory of Arrays. 165-201

Volume 6, Number 4, June 2009

Special Issue on Parallel SAT Solving

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/SchubertLB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/SchubertLB09
Tobias Schubert, Matthew Lewis, Bernd Becker:
PaMiraXT: Parallel SAT Solving with Threads and Message Passing. 203-222
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HyvarinenJN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HyvarinenJN09
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä:
Incorporating Clause Learning in Grid-Based Randomized SAT Solving. 223-244
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HamadiJS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HamadiJS09
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
ManySAT: a Parallel SAT Solver. 245-262
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/Hamadi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/Hamadi09
Youssef Hamadi:
Conclusion to the Special Issue on Parallel SAT Solving. 263

a service of

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.