Showing 1 - 2 results of 2 for search '"Boolean satisfiability problem"', query time: 1.08s Refine Results
  1. 1
    Řešení problémů booleovské splnitelnosti
    by Balyo, Tomáš
    Published 2010
    Get full text
    Dissertation
  2. 2
    Omezující podmínky v plánování
    by Surynek, Pavel
    Published 2008
    “...This thesis deals with planning problems and Boolean satisfiability problems that represent major...”
    Get full text
    Doctoral Thesis
Search Tools: Get RSS Feed — Email this Search