The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Distributed-SAT (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001-2022 (15)
Publication types (Num. hits)
article(2) inproceedings(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords

Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
93Malay K. Ganai, Aarti Gupta, Zijiang Yang 0006, Pranav Ashar Efficient distributed SAT and SAT-based distributed Bounded Model Checking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed-SAT, Parallel SAT, Model Checking, Formal Verification, SAT, BMC
75Malay K. Ganai, Aarti Gupta, Zijiang Yang 0006, Pranav Ashar Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Katsutoshi Hirayama, Makoto Yokoo Local search for distributed SAT with complex local problems. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF local search, propositional satisfiability, distributed constraint satisfaction
24Youssef Hamadi From Parallel SAT to Distributed SAT. Search on Bibsonomy POS@SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Ralf-Dieter Schimkat, Michael Friedrich 0002, Wolfgang Küchlin Deploying Distributed State Information in Mobile Agent Systems. Search on Bibsonomy CoopIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Tobias Schubert 0001, Matthew D. T. Lewis, Bernd Becker 0001 PaMira - A Parallel SAT Solver with Knowledge Sharing. Search on Bibsonomy MTV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Tobias Schubert 0001, Bernd Becker 0001 Lemma Exchange in a Microcontroller Based Parallel SAT Solver. Search on Bibsonomy ISVLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Jinwen Xi, Peixin Zhong Hardware/Software Co-Modeling of SAT Solver Based on Distributed Computing Elements using SystemC. Search on Bibsonomy ICCD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Julien Martin-Prin, Imen Ouled Dlala, Nicolas Travers, Saïd Jabbour A Distributed SAT-Based Framework for Closed Frequent Itemset Mining. Search on Bibsonomy ADMA (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
13Jesús Giráldez-Cru, Jimmy H. M. Lee, Pedro Meseguer Iterative AWC for Distributed SAT. Search on Bibsonomy CCIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
13Jesús Giráldez-Cru, Pedro Meseguer ABT with Clause Learning for Distributed SAT. Search on Bibsonomy CAEPIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
13Esmeralda Ruiz Distributed SAT. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
13Tobias Schubert 0001, Bernd Becker 0001 A Distributed SAT Solver for Microcontroller. Search on Bibsonomy ARCS Workshops The full citation details ... 2004 DBLP  BibTeX  RDF
13Wahid Chrabakh, Richard Wolski GridSAT: A Chaff-based Distributed SAT Solver for the Grid. Search on Bibsonomy SC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ComputationalGrid, Parallel, Distributed, Satisfiability
8Tobias Schubert 0001, Bernd Becker 0001 PICHAFF2 - A Hierarchical Parallel SAT Solver. Search on Bibsonomy MTV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license