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 7

> 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 7, Number 1, 2010

Articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/LangloisST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/LangloisST10
Marina Langlois, Robert H. Sloan, György Turán:
Horn Upper Bounds and Renaming. 1-15
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/JinZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/JinZ10
Jiwei Jin, Xishun Zhao:
Resolution on Quantified Generalized Clause-sets.. 17-34
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/TveretinaSZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/TveretinaSZ10
Olga Tveretina, Carsten Sinz, Hans Zantema:
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. 35-58

Volume 7, Numbers 2-3, 2010

System Descriptions

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/BerreP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/BerreP10
Daniel Le Berre, Anne Parrain:
The Sat4j library, release 2.2. 59-6
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/PulinaT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/PulinaT10
Luca Pulina, Armando Tacchella:
AQME'10. 65-70
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/LonsingB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/LonsingB10
Florian Lonsing, Armin Biere:
DepQBF: A Dependency-Aware QBF Solver. 71-76
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/BalintGKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/BalintGKR10
Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz:
Experiment design and administration for computer clusters for SAT-solvers (EDACC). 77-82
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/GiunchigliaMN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/GiunchigliaMN10
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
QuBE7.0. 83-88

Articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HerasB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HerasB10
Federico Heras, David Bañeres:
The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers. 89-126

Volume 7, Number 4, 2011

System Descriptions

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HamadiJPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HamadiJPS11
Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais:
Deterministic Parallel DPLL. 127-132
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/TakRH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/TakRH11
Peter van der Tak, Antonio Ramos, Marijn Heule:
Reusing the Assignment Trail in CDCL Solvers. 133-138
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/Roussel11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/Roussel11
Olivier Roussel:
Controlling a Solver Execution with the runsolver Tool. 139-144

Articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/HaynalH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/HaynalH11
Steve Haynal, Heidi Haynal:
Generating and Searching Families of FFT Algorithms. 145-187

Addendum

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/Bjork11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/Bjork11
Magnus Björk:
Successful SAT Encoding Techniques. 189-201

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.