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