Cite This Page

Jump to navigation Jump to search

Bibliographic details for Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract

Citation styles for Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract

APA style

Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract. (2024, June 20). WikiPatents, . Retrieved 06:43, July 1, 2024 from http://wikipatents.org/index.php?title=Amazon_technologies,_inc._(20240202545)._AN_EAGER_SAT-BASED_SOLVER_FOR_A_QUANTIFIER-FREE_THEORY_OF_STRINGS_AND_BIT_VECTORS_simplified_abstract&oldid=75109.

MLA style

"Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract." WikiPatents, . 20 Jun 2024, 18:19 UTC. 1 Jul 2024, 06:43 <http://wikipatents.org/index.php?title=Amazon_technologies,_inc._(20240202545)._AN_EAGER_SAT-BASED_SOLVER_FOR_A_QUANTIFIER-FREE_THEORY_OF_STRINGS_AND_BIT_VECTORS_simplified_abstract&oldid=75109>.

MHRA style

WikiPatents contributors, 'Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract', WikiPatents, , 20 June 2024, 18:19 UTC, <http://wikipatents.org/index.php?title=Amazon_technologies,_inc._(20240202545)._AN_EAGER_SAT-BASED_SOLVER_FOR_A_QUANTIFIER-FREE_THEORY_OF_STRINGS_AND_BIT_VECTORS_simplified_abstract&oldid=75109> [accessed 1 July 2024]

Chicago style

WikiPatents contributors, "Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract," WikiPatents, , http://wikipatents.org/index.php?title=Amazon_technologies,_inc._(20240202545)._AN_EAGER_SAT-BASED_SOLVER_FOR_A_QUANTIFIER-FREE_THEORY_OF_STRINGS_AND_BIT_VECTORS_simplified_abstract&oldid=75109 (accessed July 1, 2024).

CBE/CSE style

WikiPatents contributors. Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract [Internet]. WikiPatents, ; 2024 Jun 20, 18:19 UTC [cited 2024 Jul 1]. Available from: http://wikipatents.org/index.php?title=Amazon_technologies,_inc._(20240202545)._AN_EAGER_SAT-BASED_SOLVER_FOR_A_QUANTIFIER-FREE_THEORY_OF_STRINGS_AND_BIT_VECTORS_simplified_abstract&oldid=75109.

Bluebook style

Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract, http://wikipatents.org/index.php?title=Amazon_technologies,_inc._(20240202545)._AN_EAGER_SAT-BASED_SOLVER_FOR_A_QUANTIFIER-FREE_THEORY_OF_STRINGS_AND_BIT_VECTORS_simplified_abstract&oldid=75109 (last visited July 1, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "WikiPatents",
   title = "Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract --- WikiPatents{,} ",
   year = "2024",
   url = "http://wikipatents.org/index.php?title=Amazon_technologies,_inc._(20240202545)._AN_EAGER_SAT-BASED_SOLVER_FOR_A_QUANTIFIER-FREE_THEORY_OF_STRINGS_AND_BIT_VECTORS_simplified_abstract&oldid=75109",
   note = "[Online; accessed 1-July-2024]"
 }

When using the LaTeX package url (\usepackage{url} somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred: 

 @misc{ wiki:xxx,
   author = "WikiPatents",
   title = "Amazon technologies, inc. (20240202545). AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS simplified abstract --- WikiPatents{,} ",
   year = "2024",
   url = "\url{http://wikipatents.org/index.php?title=Amazon_technologies,_inc._(20240202545)._AN_EAGER_SAT-BASED_SOLVER_FOR_A_QUANTIFIER-FREE_THEORY_OF_STRINGS_AND_BIT_VECTORS_simplified_abstract&oldid=75109}",
   note = "[Online; accessed 1-July-2024]"
 }


Retrieved from "http://wikipatents.org/index.php?title=Special:CiteThisPage"