Search Results - "propositional satisfiability"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Propositional satisfiability method in rough classification modeling for data mining

    Propositional satisfiability method in rough classification modeling for data mining by Abu Bakar, Azuraliza

    Published 2002
    “…The main work of the thesis is the generation of classification model that contains smaller number of rules, shorter length and good accuracy. The propositional satisfiability method in rough classification model is proposed in this thesis. …”
    Get full text
    Get full text
  2. 2
    Propositional satisfiability algorithm to find minimal reducts for data mining

    Propositional satisfiability algorithm to find minimal reducts for data mining by Bakar, A.A., Sulaiman, M.N., Othman, M., Selamat, M.H.

    Published 2002
    Get full text
  3. 3
    Exploring the landscape of the space of heuristics for local search in SAT

    Exploring the landscape of the space of heuristics for local search in SAT by Burnett, Andrew W., Parkes, Andrew J.

    Published 2017
    “…In this paper, we consider the domain of propositional satisfiability (SAT), and a generic class of local search methods called ‘WalkSAT’. …”
    Get full text

Search Tools: