Q5743451 (Q5743451): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1107.3127 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complexity of Satisfiability of Small Depth Circuits / rank
 
Normal rank
Property / cites work
 
Property / cites work: Top-down lower bounds for depth-three circuits / rank
 
Normal rank
Property / cites work
 
Property / cites work: 3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4809068 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving satisfiability in less than \(2^ n\) steps / rank
 
Normal rank
Property / cites work
 
Property / cites work: A full derandomization of schöning's k-SAT algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: An improved exponential-time algorithm for <i>k</i> -SAT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4484662 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4850554 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algorithm for the satisfiability problem of formulas in conjunctive normal form / rank
 
Normal rank
Property / cites work
 
Property / cites work: Improving exhaustive search implies superpolynomial lower bounds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5198636 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 05:11, 19 July 2024