MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Succincter." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9,415 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Succinct Solvers  
  • by Flemming Nielson, Helmut Seidl — 2001
  • Succinct Solvers Flemming Nielson 1 and Helmut Seidl 2 1 Informatics & Mathematical Modelling…
  • Cited by 6 (5 self)Add To MetaCart
  • On the Succinctness of Nondeterminism  
  • by Benjamin Aminof, Orna Kupferman
  • …On the Succinctness of Nondeterminism Benjamin Aminof and Orna Kupferman Hebrew University, School…
  • Add To MetaCart
  • A Succinct Solver for ALFP  
  • by Flemming Nielson, Helmut Seidl, Hanne Riis Nielson — 2002
  • … the stable model of a very expressive fragment of predicate logic. The succinct formulation of the algorithm…
  • Cited by 11 (6 self)Add To MetaCart
  • Experiments with Succinct Solvers  
  • by Mikael Buchholtz, Buchholtz Hanne, Hanne Riis Nielson, Flemming Nielson — 2002
  • …Experiments with Succinct Solvers Authors : Mikael Buchholtz Hanne Riis Nielson Flemming Nielson…
  • Cited by 3 (1 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB