Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jsat/BarrettST07,
  author       = {Clark W. Barrett and
                  Igor Shikanian and
                  Cesare Tinelli},
  title        = {An Abstract Decision Procedure for a Theory of Inductive Data Types},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {3},
  number       = {1-2},
  pages        = {21--46},
  year         = {2007},
  url          = {https://doi.org/10.3233/sat190028},
  doi          = {10.3233/SAT190028},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/BarrettST07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/BuningZ07,
  author       = {Hans Kleine{ }B{\"{u}}ning and
                  Xishun Zhao},
  title        = {The Complexity of Some Subclasses of Minimal Unsatis able Formulas},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {3},
  number       = {1-2},
  pages        = {1--17},
  year         = {2007},
  url          = {https://doi.org/10.3233/sat190026},
  doi          = {10.3233/SAT190026},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/BuningZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/BuningZ07a,
  author       = {Hans Kleine{ }B{\"{u}}ning and
                  Xishun Zhao},
  title        = {An Extension of Deficiency and Minimal Unsatisfiability of Quantified
                  Boolean Formulas},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {3},
  number       = {3-4},
  pages        = {115--123},
  year         = {2007},
  url          = {https://doi.org/10.3233/sat190032},
  doi          = {10.3233/SAT190032},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/BuningZ07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/CookS07,
  author       = {Byron Cook and
                  Roberto Sebastiani},
  title        = {Preface to Special Issue on Satisfiability Modulo Theories},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {3},
  number       = {1-2},
  year         = {2007},
  url          = {https://doi.org/10.3233/sat190027},
  doi          = {10.3233/SAT190027},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/CookS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/GanaiTG07,
  author       = {Malay K. Ganai and
                  Muralidhar Talupur and
                  Aarti Gupta},
  title        = {{SDSAT:} Tight Integration of Small Domain Encoding and Lazy Approaches
                  in Solving Difference Logic},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {3},
  number       = {1-2},
  pages        = {91--114},
  year         = {2007},
  url          = {https://doi.org/10.3233/sat190031},
  doi          = {10.3233/SAT190031},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/GanaiTG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/KimJS07,
  author       = {Hyondeuk Kim and
                  HoonSang Jin and
                  Fabio Somenzi},
  title        = {Disequality Management in Integer Difference Logic via Finite Instantiations},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {3},
  number       = {1-2},
  pages        = {47--66},
  year         = {2007},
  url          = {https://doi.org/10.3233/sat190029},
  doi          = {10.3233/SAT190029},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/KimJS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/Sebastiani07,
  author       = {Roberto Sebastiani},
  title        = {Lazy Satisability Modulo Theories},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {3},
  number       = {3-4},
  pages        = {141--224},
  year         = {2007},
  url          = {https://doi.org/10.3233/sat190034},
  doi          = {10.3233/SAT190034},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/Sebastiani07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/SeshiaSB07,
  author       = {Sanjit A. Seshia and
                  K. Subramani and
                  Randal E. Bryant},
  title        = {On Solving Boolean Combinations of {UTVPI} Constraints},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {3},
  number       = {1-2},
  pages        = {67--90},
  year         = {2007},
  url          = {https://doi.org/10.3233/sat190030},
  doi          = {10.3233/SAT190030},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsat/SeshiaSB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/Vilenchik07,
  author       = {Dan Vilenchik},
  title        = {It's All about the Support: {A} New Perspective on the Satisfiability
                  Problem},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {3},
  number       = {3-4},
  pages        = {125--139},
  year         = {2007},
  url          = {https://doi.org/10.3233/sat190033},
  doi          = {10.3233/SAT190033},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/Vilenchik07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}