Home > Search Results: Klátil, Jan
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
Structured problems for SAT
 Klátil, Jan ; Hric, Jan (advisor) ; Kučera, Petr (referee)
Title: Structured problems for SAT Author: Jan Klátil Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. Jan Hric, Department of Theoretical Computer Science and Mathematical Logic Abstract: Aim of this thesis is to implement generator of unstructured data of CSP model RB in format XCSP and several other generators of structured data in formats XCSP and DIMACS, which are based on problems of placing N-Queens, finding Hamiltonian cycle and dividing set of integers into two distinct subsets with equal sum. We compare generated data in both XCSP and DIMACS format based on same problem by comparing time spent by SAT solver RSAT solving this data. Both forced satisfiable and unsatisfiable data and joined unstructured a structured data in XCSP format were compared in this thesis. Keywords: structured problems, SAT 1
Detailed record
Structured problems for SAT
 Klátil, Jan ; Hric, Jan (advisor) ; Kučera, Petr (referee)
Title: Structured problems for SAT Author: Jan Klátil Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. Jan Hric, Department of Theoretical Computer Science and Mathematical Logic Abstract: Aim of this thesis is to implement generator of unstructured data of CSP model RB in format XCSP and several other generators of structured data in formats XCSP and DIMACS, which are based on problems of placing N-Queens, finding Hamiltonian cycle and dividing set of integers into two distinct subsets with equal sum. We compare generated data in both XCSP and DIMACS format based on same problem by comparing time spent by SAT solver RSAT solving this data. Both forced satisfiable and unsatisfiable data and joined unstructured a structured data in XCSP format were compared in this thesis. Keywords: structured problems, SAT 1
Detailed record

See also: similar author names
2 KLÁTIL, Jaroslav
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English