Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for AllSAT with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005-2023 (13)
Publication types (Num. hits)
article(6) inproceedings(7)
Venues (Conferences, Journals, ...)
CoRR(6) AAAI(2) DAC(1) FM(1) IJCAI(1) Privacy Enhancing Technologies(1) SAT(1)
Authors
Marcel Wild(5) David E. Narváez(2) Alexander Nadel(1) Andreas Pashalidis(1) Bernd Meyer 0002(1) Dror Fried(1) Fabio Somenzi(1) Feifei Ma(1) Hannah Miller(1) HoonSang Jin(1) Jiaxin Liang(1) Junping Zhou(1) Minghao Yin(1) Stefano Tonetta(1) Yogev Shalmon(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
36HoonSang Jin, Fabio Somenzi Prime clauses for fast enumeration of satisfying assignments to boolean circuits. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF AllSAT, minimal satisfying assignment, SAT, CNF
34Hannah Miller Counting Knot Mosaics with ALLSAT (Student Abstract). Search on Bibsonomy AAAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
34Dror Fried, Alexander Nadel, Yogev Shalmon AllSAT for Combinational Circuits. Search on Bibsonomy SAT The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
34Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. Search on Bibsonomy IJCAI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Marcel Wild ALLSAT compressed with wildcards: Frequent Set Mining. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
34Marcel Wild ALLSAT compressed with wildcards: Partitionings and face-numbers of simplicial complexes. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
34David E. Narváez Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
34David E. Narváez Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
34Marcel Wild ALLSAT compressed with wildcards. Part 4: An invitation for C-programmers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
34Marcel Wild ALLSAT compressed with wildcards. Part 2: All k-models of a BDD. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
34Marcel Wild ALLSAT compressed with wildcards. Part 1: Converting CNF's to orthogonal DNF's. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
30Stefano Tonetta Abstract Model Checking without Computing the Abstraction. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Andreas Pashalidis, Bernd Meyer 0002 Linking Anonymous Transactions: The Consistent View Attack. Search on Bibsonomy Privacy Enhancing Technologies The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (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