MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Yuanlin Zhang" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Conditional Interchangeability and Substitutability  
  • by Yuanlin Zhang And, Yuanlin Zhang, Eugene C. Freuder — 2004 — In Proceedings of the satellite workshop of CP 2004, Symmetry in Constraints (SymCon’04
  • …Conditional interchangeability and substitutability # Yuanlin Zhang + and Eugene C. Freuder Cork…
  • Add To MetaCart
  • Making AC-3 an Optimal Algorithm  
  • by Yuanlin Zhang And, Yuanlin Zhang, H. C. Yap — 2001 — In Proceedings of IJCAI-01
  • …Making AC-3 an Optimal Algorithm Yuanlin Zhang and Roland H.C. Yap School of Computing, National…
  • Add To MetaCart
  • Consistency and Set Intersection  
  • by Yuanlin Zhang And — 2003
  • …. Consistency and Set Intersection Yuanlin Zhang and Roland H.C. Yap National University of Singapore 3 Science…
  • Add To MetaCart
  • H.: Fast SAT-based answer set solver  
  • by Zhijun Lin, Yuanlin Zhang, Hector Hern — 2006 — Proceedings AAAI’06, AAAI Press/The
  • …Fast SAT-based Answer Set Solver ∗ Zhijun Lin and Yuanlin Zhang and Hector Hernandez Computer…
  • Cited by 1 (0 self) – Add To MetaCart
  • Tractable Tree Convex Constraint Networks  
  • by Yuanlin Zhang, Eugene C. Freuder — 2004
  • …Tractable Tree Convex Constraint Networks # Yuanlin Zhang and Eugene C. Freuder Cork Constraint…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB