|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
40 | Raimu Isuzugawa, Daiki Miyahara, Takaaki Mizuki |
Zero-Knowledge Proof Protocol for Cryptarithmetic Using Dihedral Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCNC ![In: Unconventional Computation and Natural Computation - 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings, pp. 51-67, 2021, Springer, 978-3-030-87992-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Gholamali Rahnavard, Gholamhossein Dastghaibyfard |
An Efficient Parallel Algorithm for Solving Cryptarithmetic Problems: PGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMS ![In: EMS 2009, Third UKSim European Symposium on Computer Modeling and Simulation, 25-27 November 2009, Athens, Greece, pp. 102-106, 2009, IEEE Computer Society, 978-0-7695-3886-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Abu Sayef Md. Ishaque, Md. Bahlul Haider, Muhammad Al Mahmud Wasid, Shah Mohammed Alaul, Md. Kamrul Hassan, Tanveer Ahsan, Md. Shamsul Alam |
An Evolutionary Algorithm to Solve Cryptarithmetic Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Intelligence ![In: International Conference on Computational Intelligence, ICCI 2004, December 17-19, 2004, Istanbul, Turkey, Proceedings, pp. 494-496, 2004, International Computational Intelligence Society, 975-98458-1-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
36 | Donald A. Waterman, Allen Newell |
PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(4), pp. 402-413, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
Cryptarithmetic, hypothesis formation, problem space, natural language processing, protocol analysis, production system, model building |
30 | Roberto Cordeschi |
Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning, Action and Interaction in AI Theories and Systems ![In: Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello, pp. 1-23, 2006, Springer, 3-540-37901-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | James M. Conrad, Dennis R. Bahler, James Bowen |
Static Parallel Arc Consistency in Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 500-509, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|