Search results for "Distributed-SAT"

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