|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
88 | Xiangxue Jia, Jian Zhang 0001 |
A Powerful Technique to Eliminate Isomorphism in Finite Model Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 318-331, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
LNH, DASH, scheme, Isomorphism, symmetry breaking |
51 | Gilles Audemard, Belaid Benhamou |
Reasoning by Symmetry and Function Ordering in Finite Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 226-240, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Gilles Audemard, Belaid Benhamou, Laurent Henocque |
Predicting and Detecting Symmetries in FOL Finite Model Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(3), pp. 177-212, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
symmetry, constraint programming, finite models |
25 | Thierry Boy de la Tour |
A Note on Symmetry Heuristics in SEM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 181-194, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Tao Chen 0044, Li-Hui Chen 0001, Kai-Kuang Ma |
Colour Image Indexing Using SOM for Region-of-Interest Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 2(2), pp. 164-171, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Local neighbourhood histogram, Content-based retrieval, Region-Of-Interest, Image indexing, Self-Organising Map |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|