Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Tseytin_transformation> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples per page.
- Tseytin_transformation abstract "The Tseytin transformation, alternatively written Tseitin transformation takes as input an arbitrary combinatorial logic circuit and produces a boolean formula in conjunctive normal form (CNF), which can be solved by a CNF-SAT solver. The length of the formula is linear in the size of the circuit. Input vectors that make the circuit output \"true\" are in 1-to-1 correspondence with assignments that satisfy the formula. This reduces the problem of circuit satisfiability on any circuit (including any formula) to the satisfiability problem on 3-CNF formulas.".
- Tseytin_transformation wikiPageID "34622141".
- Tseytin_transformation wikiPageLength "11586".
- Tseytin_transformation wikiPageOutDegree "30".
- Tseytin_transformation wikiPageRevisionID "703806703".
- Tseytin_transformation wikiPageWikiLink AND_gate.
- Tseytin_transformation wikiPageWikiLink Bijection.
- Tseytin_transformation wikiPageWikiLink Boolean_satisfiability_problem.
- Tseytin_transformation wikiPageWikiLink Category:Logic_gates.
- Tseytin_transformation wikiPageWikiLink Category:Logic_in_computer_science.
- Tseytin_transformation wikiPageWikiLink Circuit_satisfiability_problem.
- Tseytin_transformation wikiPageWikiLink Combinational_logic.
- Tseytin_transformation wikiPageWikiLink Conjunctive_normal_form.
- Tseytin_transformation wikiPageWikiLink De_Morgans_laws.
- Tseytin_transformation wikiPageWikiLink Distributive_property.
- Tseytin_transformation wikiPageWikiLink Inverter_(logic_gate).
- Tseytin_transformation wikiPageWikiLink NAND_gate.
- Tseytin_transformation wikiPageWikiLink NOR_gate.
- Tseytin_transformation wikiPageWikiLink OR_gate.
- Tseytin_transformation wikiPageWikiLink XOR_gate.
- Tseytin_transformation wikiPageWikiLink File:AND_ANSI.svg.
- Tseytin_transformation wikiPageWikiLink File:Comb_logic_tseitin.svg.
- Tseytin_transformation wikiPageWikiLink File:NAND_ANSI.svg.
- Tseytin_transformation wikiPageWikiLink File:NOR_ANSI.svg.
- Tseytin_transformation wikiPageWikiLink File:NOT_ANSI.svg.
- Tseytin_transformation wikiPageWikiLink File:OR_ANSI.svg.
- Tseytin_transformation wikiPageWikiLink File:XOR_ANSI.svg.
- Tseytin_transformation wikiPageWikiLinkText "Tseitin's algorithm".
- Tseytin_transformation wikiPageWikiLinkText "Tseytin transformation".
- Tseytin_transformation subject Category:Logic_gates.
- Tseytin_transformation subject Category:Logic_in_computer_science.
- Tseytin_transformation type Circuit.
- Tseytin_transformation comment "The Tseytin transformation, alternatively written Tseitin transformation takes as input an arbitrary combinatorial logic circuit and produces a boolean formula in conjunctive normal form (CNF), which can be solved by a CNF-SAT solver. The length of the formula is linear in the size of the circuit. Input vectors that make the circuit output \"true\" are in 1-to-1 correspondence with assignments that satisfy the formula.".
- Tseytin_transformation label "Tseytin transformation".
- Tseytin_transformation sameAs Q2315059.
- Tseytin_transformation sameAs Tseitin-Transformation.
- Tseytin_transformation sameAs Tseitin-transformatie.
- Tseytin_transformation sameAs m.0j29dhm.
- Tseytin_transformation sameAs Q2315059.
- Tseytin_transformation wasDerivedFrom Tseytin_transformation?oldid=703806703.
- Tseytin_transformation isPrimaryTopicOf Tseytin_transformation.