About: SAT solver

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Computer program for the Boolean satisfiability problem

Property	Value
dbo:description	computer program for the Boolean satisfiability problem (en) Computerprogramm zum Lösen des Erfüllbarkeitsproblems der Aussagenlogik (de)
dbo:thumbnail	wiki-commons:Special:FilePath/Cube_and_Conquer_example.svg?width=300
dbo:wikiPageWikiLink	dbr:NP-completeness dbr:Constraint_satisfaction_problem dbr:Central_processing_unit dbr:Distributed_memory dbr:Formal_methods dbr:Resolution_(logic) dbr:Stochastic dbr:Satisfiability_modulo_theories dbr:Artificial_intelligence dbc:Formal_methods dbr:Cook–Levin_theorem dbr:Heuristic dbr:Boolean_data_type dbr:Satisfiability dbr:Program_analysis dbc:Satisfiability_problems dbr:Parallel_algorithm dbc:Logic_in_computer_science dbr:Program_optimization dbr:Logical_conjunction dbr:Operations_research dbr:Binary_decision_diagram dbr:Divide-and-conquer_algorithm dbr:Electronic_design_automation dbr:Algorithm dbr:Software dbr:Load_balancing_(computing) dbr:Free_and_open-source_software dbr:Computer_science dbr:Computer_program dbr:Boolean_satisfiability_problem dbr:Shared_memory dbr:Logical_equivalence dbr:Random_number_generation dbr:Conjunctive_normal_form dbr:Random_seed dbr:Local_search_(constraint_satisfaction) dbr:Chaff_algorithm dbr:WalkSAT dbr:Logical_disjunction dbc:SAT_solvers dbr:DPLL_algorithm dbr:GRASP_(SAT_solver) dbr:Constraint_logic_programming dbr:Boolean_Pythagorean_triples_problem dbr:Backjumping dbr:Software_verification dbr:Conflict-driven_clause_learning dbr:OR-Tools dbr:Hardware_verification dbr:Hardware_design dbr:Davis–Putnam–Logemann–Loveland_algorithm dbr:Manycore_processors dbr:"two-watched-literals"_unit_propagation dbr:Chronological_backtracking dbr:Cube-and-Conquer dbr:File:Cube_and_Conquer_example.svg
dbp:wikiPageUsesTemplate	dbt:Clarify_span dbt:Main dbt:Reflist dbt:Citation_needed dbt:Program_analysis dbt:Short_description
dct:subject	dbc:Formal_methods dbc:Satisfiability_problems dbc:Logic_in_computer_science
rdfs:label	SAT solver (en)
owl:sameAs	wikidata:SAT solver dbpedia-global:SAT solver dbr:SAT solver
prov:wasDerivedFrom	wikipedia-en:SAT_solver?oldid=1292885938&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Cube_and_Conquer_example.svg
foaf:isPrimaryTopicOf	wikipedia-en:SAT_solver
is dbo:wikiPageDisambiguates of	dbr:SAT_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Distributed_SAT-solver dbr:SAT-solver dbr:SAT_Solver
is dbo:wikiPageWikiLink of	dbr:Action_model_learning dbr:Hamiltonian_path_problem dbr:Belief_revision dbr:Propositional_calculus dbr:ZYpp dbr:Proof_complexity dbr:Proof_compression dbr:Computational_complexity_theory dbr:Hadwiger–Nelson_problem dbr:SAT_(disambiguation) dbr:Solver dbr:DPLL_algorithm dbr:Davis–Putnam_algorithm dbr:Alt-Ergo dbr:Algorithm_selection dbr:Grigori_Tseitin dbr:Marijn_Heule dbr:Unsatisfiable_core dbr:Twin-width dbr:Multi-agent_pathfinding dbr:Lam's_problem dbr:Distributed_SAT-solver dbr:SAT-solver dbr:SAT_Solver
is rdfs:seeAlso of	dbr:Proof_complexity
is foaf:primaryTopic of	wikipedia-en:SAT_solver