Showing 1 - 2 results of 2 for search '"Boolean satisfiability"', query time: 0.02s Refine Results
  1. 1
    Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT
    Subjects: “…Boolean satisfiability problem…”
    Get full text
    Thesis
  2. 2
    Παραμετροποίηση στοχαστικών μεθόδων εξόρυξης γνώσης από δεδομένα, μετασχηματισμού συμβολοσειρών και τεχνικών συμπερασματικού λογικού προγραμματισμού
    by Λύρας, Δημήτριος
    Published 2011
    Subjects: “…Boolean satisfiability…”
    Get full text
    Thesis
Search Tools: RSS Feed – Email Search