On Verifying and Engineering the Well-gradedness of a Union-closed Family
David EppsteinJean-Claude FalmagneHasan UzunPublished in: CoRR (2007)
Keyphrases
- engineering design
- artificial intelligence
- engineering problems
- software engineering
- mechanical engineering
- special case
- electrical engineering
- expert systems
- machine learning
- neural network
- computer science
- software development
- model checking
- search algorithm
- information systems
- engineering students
- information retrieval