Toggle navigation
Login
Dashboard
Login
Dashboard
Home
About
A Brief History of AI
AI-Alerts
AI Magazine
AAAI Conferences
JAIR
NeurIPS
Classics
Toggle navigation
Login
Dashboard
Home
About
A Brief History of AI
AI-Alerts
AI Magazine
AAAI Conferences
JAIR
NeurIPS
Classics
Toggle navigation
Login
Dashboard
Home
About
A Brief History of AI
AI-Alerts
AI Magazine
AAAI Conferences
JAIR
NeurIPS
Classics
Toggle navigation
AITopics
An official publication of the AAAI.
powered by
i
2
k
Connect
Toggle navigation
Login
Dashboard
AITopics
An official publication of the AAAI.
Filters
Current Filters
Hoffmann, Ruth
Date
Earlier than Aug-13-2022 (2)
to
Go
Theme
arXiv.org (1)
Conferences (1)
Author
Espasa, Joan (1)
Gent, Ian P. (1)
Hoffmann, Ruth (2)
Jefferson, Christopher (1)
Lynch, Alice M. (1)
McCreesh, Ciaran (1)
Reilly, Craig (1)
Concept Tag
algorithm (2)
artificial intelligence (2)
computer science (1)
constraint programming (1)
constraint-based reasoning (2)
deduction (1)
emystify (1)
experiment (1)
explanation (1)
findunsatcore (1)
graph (1)
grid (1)
isomorphism (1)
isomorphism algorithm (1)
machine learning (1)
mccreesh (1)
miracle sudoku (1)
muse (1)
pattern recognition (1)
pen and paper puzzle (1)
proceedings (1)
prosser (1)
puzzle (1)
sequence (1)
solnon (1)
solver (1)
subgraph isomorphism (1)
subgraph isomorphism algorithm (1)
subgraph isomorphism problem (1)
subgraph problem (1)
subset (1)
sudoku (1)
target graph (1)
tutorial (1)
variant (1)
vertex (1)
Conference
Thirty-First AAAI Conference on Artificial Intelligence (1)
Source
AAAI Conferences (1)
arXiv.org Artificial Intelligence (1)
Back to Summary View
Save Search
Author
Hoffmann, Ruth
Title
Modified
aitopics.org uses cookies to deliver the best possible experience. By continuing to use this site, you consent to the use of cookies.
Learn more ยป
I understand
×
Add feedback
Send feedback to help us improve your experience.
Select feedback type:
General
views
title
summary
body
concept tags
oilfield places
Thank you!