Pages that link to "Item:Q2426417"

The following pages link to AI 2007: Advances in artificial intelligence. 20th Australian joint conference on artificial intelligence, Gold Coast, Australia, December 2--6, 2007. Proceedings (Q2426417):

Displayed 4 items.

• Planning as satisfiability: heuristics (Q359984) ‎ (← links)
• A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem (Q734870) ‎ (← links)
• Algorithms for subsequence combinatorics (Q2378518) ‎ (← links)
• Knowledge means ‘<i>all</i>’, belief means ‘<i>most</i>’ (Q4586161) ‎ (← links)