Search dblp for Publications

export results for "toc:db/journals/jsat/jsat7.bht:"

 download as .bib file

@article{DBLP:journals/jsat/Bjork11,
  author       = {Magnus Bj{\"{o}}rk},
  title        = {Successful {SAT} Encoding Techniques},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {4},
  pages        = {189--201},
  year         = {2011},
  url          = {https://doi.org/10.3233/sat190085},
  doi          = {10.3233/SAT190085},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/Bjork11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/HamadiJPS11,
  author       = {Youssef Hamadi and
                  Sa{\"{\i}}d Jabbour and
                  C{\'{e}}dric Piette and
                  Lakhdar Sais},
  title        = {Deterministic Parallel {DPLL}},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {4},
  pages        = {127--132},
  year         = {2011},
  url          = {https://doi.org/10.3233/sat190081},
  doi          = {10.3233/SAT190081},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/HamadiJPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/HaynalH11,
  author       = {Steve Haynal and
                  Heidi Haynal},
  title        = {Generating and Searching Families of {FFT} Algorithms},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {4},
  pages        = {145--187},
  year         = {2011},
  url          = {https://doi.org/10.3233/sat190084},
  doi          = {10.3233/SAT190084},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/HaynalH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/Roussel11,
  author       = {Olivier Roussel},
  title        = {Controlling a Solver Execution with the runsolver Tool},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {4},
  pages        = {139--144},
  year         = {2011},
  url          = {https://doi.org/10.3233/sat190083},
  doi          = {10.3233/SAT190083},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/Roussel11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/TakRH11,
  author       = {Peter van der Tak and
                  Antonio Ramos and
                  Marijn Heule},
  title        = {Reusing the Assignment Trail in {CDCL} Solvers},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {4},
  pages        = {133--138},
  year         = {2011},
  url          = {https://doi.org/10.3233/sat190082},
  doi          = {10.3233/SAT190082},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/TakRH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/BalintGKR10,
  author       = {Adrian Balint and
                  Daniel Gall and
                  Gregor Kapler and
                  Robert Retz},
  title        = {Experiment design and administration for computer clusters for SAT-solvers
                  {(EDACC)}},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {2-3},
  pages        = {77--82},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190078},
  doi          = {10.3233/SAT190078},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/BalintGKR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/BerreP10,
  author       = {Daniel Le Berre and
                  Anne Parrain},
  title        = {The Sat4j library, release 2.2},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {2-3},
  pages        = {59--6},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190075},
  doi          = {10.3233/SAT190075},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/BerreP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/GiunchigliaMN10,
  author       = {Enrico Giunchiglia and
                  Paolo Marin and
                  Massimo Narizzano},
  title        = {QuBE7.0},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {2-3},
  pages        = {83--88},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190079},
  doi          = {10.3233/SAT190079},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/GiunchigliaMN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/HerasB10,
  author       = {Federico Heras and
                  David Ba{\~{n}}eres},
  title        = {The Impact of Max-SAT Resolution-Based Preprocessors on Local Search
                  Solvers},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {2-3},
  pages        = {89--126},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190080},
  doi          = {10.3233/SAT190080},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/HerasB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/JinZ10,
  author       = {Jiwei Jin and
                  Xishun Zhao},
  title        = {Resolution on Quantified Generalized Clause-sets.},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {1},
  pages        = {17--34},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190073},
  doi          = {10.3233/SAT190073},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/JinZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/LangloisST10,
  author       = {Marina Langlois and
                  Robert H. Sloan and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {Horn Upper Bounds and Renaming},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {1},
  pages        = {1--15},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190072},
  doi          = {10.3233/SAT190072},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/LangloisST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/LonsingB10,
  author       = {Florian Lonsing and
                  Armin Biere},
  title        = {DepQBF: {A} Dependency-Aware {QBF} Solver},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {2-3},
  pages        = {71--76},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190077},
  doi          = {10.3233/SAT190077},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/LonsingB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/PulinaT10,
  author       = {Luca Pulina and
                  Armando Tacchella},
  title        = {AQME'10},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {2-3},
  pages        = {65--70},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190076},
  doi          = {10.3233/SAT190076},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/PulinaT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/TveretinaSZ10,
  author       = {Olga Tveretina and
                  Carsten Sinz and
                  Hans Zantema},
  title        = {Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {1},
  pages        = {35--58},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190074},
  doi          = {10.3233/SAT190074},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/TveretinaSZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.