MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Evgeny Dantsin" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 23 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • An improved upper bound for SAT  
  • by Evgeny Dantsin, Er Wolpert — 2005 — In Proceedings of the 8th International Conference on Theory and Applications on Satisfiability Testing, SAT 2005
  • …An Improved Upper Bound for SAT Evgeny Dantsin and Alexander Wolpert Roosevelt University 430 S…
  • Cited by 3 (1 self) – Add To MetaCart
  • Bag and Set Unification  
  • by Evgeny Dantsin, Andrei Voronkov — 1997
  • …UPMAIL Technical Report No. 150 November 27, 1997 Bag and Set Unification Evgeny Dantsin Steklov…
  • Cited by 1 (1 self) – Add To MetaCart
  • Solving constraint satisfaction problems with DNA computing  
  • by Evgeny Dantsin, Er Wolpert — 2002 — Proceedings of the 8th Annual International Computing and Combinatorics Conference, COCOON'02, volume 2387 of Lecture Notes in Computer Science
  • …Solving Constraint Satisfaction Problems with DNA Computing Evgeny Dantsin and Alexander Wolpert…
  • Cited by 2 (1 self) – Add To MetaCart
  • Derandomization of Schuler’s algorithm for SAT  
  • by Evgeny Dantsin, Er Wolpert — 2004 — In Proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004
  • …Derandomization of Schuler’s Algorithm for SAT Evgeny Dantsin and Alexander Wolpert Roosevelt…
  • Cited by 9 (5 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB