formulasearchengine - User contributions [en]

Interior (topology)

2014-11-09T18:01:48Z

103.21.125.76: /* Examples */

My name is Adela Hannan. I life in Columbia (United States). Look into my webpage ... [http://etudesu.org Blog]

Semiperimeter

2014-10-12T10:07:00Z

103.21.127.60: /* Formulas invoking the semipermeter */ semiperimeter had a spelling error.

The initiation of the X games and their rising popularity in China, surprisingly has been a result of a number of businessmen seeking new business opportunities in sports. They do not realize that it is actually a trap for fools because the gold could only be mined by those who held the key. Several of the well-known villains from the series consist of Venom, Carnage, Squid and Sinister Six. They choose the 'bad guy' amongst themselves, bikes become horses or motorcycles, and the purpose of the game is to track down or hunt the enemy.

According to the Disney Family Fun website, fairy parties are popular events that typically involve dressing up like fairy princesses, complete with tulle and satin outfits. The Pyromancer is what portion the Demon controls and you can light weapons on fire and add some hit points. It also benefits us by increasing our smart capability and patient and enduring quality. I was a little sceptical at first on how I could actually earn money playing games as something on the side, that would also fund me to buy pc games online, whether it was through google play store or using the play store app ' and of course Steam :-).

After a bit longer the game will be complete and enter the debugging phase. These peasants and soldiers don't work for free though (what happened to forced labor. The world of Dominion is about to get way darker and more sinister in Dominion: Intrigue, the first standalone expansion for the hit card game that took the world by storm. They also incorporate other features which include, collection of ammunition, tracing the ammunitions, armors and other puzzle machinery.

Information that can hopefully be obtained easily is what type of games console they have. The Nikon 7216 Action binoculars have a close focus [https://www.flickr.com/search/?q=advantage advantage] for viewing in the backyard and they're great for butterfly watching too. The differences between Orochi, Black Chrome and Blade are only visual:. Each one of these rules by itself may be enough to turn losing into winning. It can make no distinction whether you use an overlapping, interlocking, or ten-finger grip.

operate on rescue operations [http://data.gov.uk/data/search?q=anytime anytime] you get yourself a chance. Minor characters like police officers Marvin Branagh (Resident Evil 2) and Kevin Ryman (the Outbreak sub-series), could also make appearances. While the sniper and shooting games are definitely among the more popular games, there are also many other types of games available as well. These online casino games are scientifically intended that caters to brain training.

Action rpg games like Fallout 3, Fallout: New Vegas, The Incredible Adventures of Van Helsing and The Witcher 2: Assassins of Kings are few rpg action games which are in huge demand because conventional games are slowly but surely losing their appeal among today's youth. In short, I thought this game was fun, but it doesn’t really deliver a lot for your money when compared to other games. Sonic the Hedge hog 4 First episode is rocking its users and is a follow up of the original game. 

If you loved this write-up and you would certainly like to receive more details concerning [https://www.facebook.com/CrazyTaxiCityRushHackToolCheatsAndroidiOS crazy taxi city rush Hack ios] kindly visit our web page.

Vapour pressure of water

2013-12-07T10:17:59Z

103.21.127.55: /* See also */

{{Science with neutrons}}

'''Neutron reflectometry''' is a [[neutron diffraction]] technique for measuring the structure of [[thin films]], similar to the often complementary techniques of [[X-ray reflectivity]] and [[ellipsometry]]. The technique provides valuable information over a wide variety of scientific and technological applications including chemical aggregation, [[polymer]] and [[surfactant]] [[adsorption]], structure of thin film magnetic systems, biological membranes, etc.

==Technical details==
The technique involves shining a highly [[Collimator|collimated]] beam of [[neutrons]] onto an extremely flat surface and measuring the intensity of reflected radiation as a function of angle or neutron wavelength. The exact shape of the reflectivity profile provides detailed information about the structure of the surface, including the thickness, density, and roughness of any thin films layered on the substrate.

Neutron reflectometry is a [[specular reflection]] technique, where the angle of the incident beam is equal to the angle of the reflected beam. The reflection is usually described in terms of a [[momentum]] [[momentum transfer|transfer]] [[vector (geometric)|vector]], denoted <math>q_z</math>, which describes the change in momentum of a neutron after reflecting from the material. Conventionally the <math>z</math> direction is defined to be the film normal direction, and for specular reflection, the scattering vector has only a <math>z</math>-component. A typical neutron reflectometry plot displays the reflected intensity (relative to the incident beam) as a function of the scattering vector:

<math> q_z = \frac{4\pi}{\lambda}\sin ( \theta )</math>

where <math>\lambda</math> is the neutron [[wavelength]], and <math>\theta </math> is the angle of incidence. The [[Abeles matrix formalism]] or the Parratt recursion can be used to describe the specular signal arising from the interface.

The wavelength of the neutrons used for reflectivity are typically on the order of 0.2 to 1 [[Metre#SI_prefixed_forms_of_metre|nm]] (2 to 10 [[Ångström|Å]]). This technique requires a [[neutron source]], which may be either a [[research reactor]] or a [[spallation]] source (based on a [[particle accelerator]]). Like all [[neutron scattering]] techniques, neutron reflectometry is sensitive to contrast arising from different nuclei (as compared to electron density, which is measured in x-ray scattering). This allows the technique to differentiate between various [[isotopes]] of [[chemical element|elements]]. Neutron reflectometry measures the neutron ''scattering length density'' (SLD) and can be used to accurately calculate material [[density]] if the atomic composition is known.

==Comparison to other reflectometry techniques==
Although other reflectivity techniques (in particular optical reflectivity, x-ray reflectometry) operate using the same general principles, neutron measurements are advantageous in a few significant ways. Most notably, since the technique probes nuclear contrast, rather than electron density, it is more sensitive for measuring some elements, especially lighter elements ([[hydrogen]], [[carbon]], [[nitrogen]], [[oxygen]], etc.). Sensitivity to isotopes also allows contrast to be greatly (and selectively) enhanced for some systems of interest using isotopic substitution, and multiple experiments that differ only by isotopic substitution can be used to resolve the [[phase problem]] that is general to scattering techniques. Finally, neutrons are highly penetrating and typically non-perturbing: which allows for great flexibility in sample environments, and the use of delicate sample materials (e.g., biological specimens). By contrast x-ray exposure may damage some materials, and [[laser]] light can modify some materials (e.g. [[photoresist]]s). Also, optical techniques may include ambiguity due to optical [[anisotropy]] ([[birefringence]]), which complementary neutron measurements can resolve. [[Dual polarisation interferometry]] is one optical method which provides analogous results to neutron reflectometry at comparable resolution although the underpinning mathematical model is somewhat simpler, i.e. it can only derive a thickness (or [[birefringence]]) for a uniform layer density.

Disadvantages of neutron reflectometry include the higher cost of the required infrastructure, the fact that some materials may become [[radioactive]] upon exposure to the beam, and insensitivity to the chemical state of constituent atoms. Moreover, the relatively lower flux and higher background of the technique (when compared to x-ray reflectivity) limit the maximum value of <math>q_z</math> that can be probed (and hence the measurement resolution).

==Partial list of neutron reflectometers==
*[http://lansce.lanl.gov/lujan/instruments/Asterix/index.html ASTERIX] at the [[Los Alamos Neutron Science Center]] in [[Los Alamos National Laboratory]]
*[http://lansce.lanl.gov/lujan/instruments/SPEAR/index.html SPEAR] at the [[Los Alamos Neutron Science Center]] in [[Los Alamos National Laboratory]]
*[http://www.ansto.gov.au/bragg/facilities/instruments/platypus.html Platypus] at [[ANSTO]] in [[Sydney]], [[Australia]]
* [http://neutron.nrc-cnrc.gc.ca/c5gen_e.html C5 spectrometer] at [[National Research Council of Canada|NRC Canada]] [[Chalk River Laboratories|Chalk River Labs]] in [[Chalk River, Ontario|Chalk River]], [[Canada]]. ''Note: a new dedicated reflectometer (D3) was commissioned in 2006.''
* [http://neutron.nrc-cnrc.gc.ca/d3gen_e.html D3 reflectometer] at [[National Research Council of Canada|NRC Canada]] [[Chalk River Laboratories|Chalk River Labs]] in [[Chalk River, Ontario|Chalk River]], [[Canada]].
*[http://www.ill.eu/instruments-support/instruments-groups/instruments/d17/ D17], [http://www.ill.eu/instruments-support/instruments-groups/instruments/superadam/ SuperADAM] and [http://www.ill.eu/instruments-support/instruments-groups/instruments/figaro/ Figaro] at the [[Institut Laue-Langevin]] ([http://www.ill.eu/ ILL]) in [[Grenoble]], [[France]]
* [http://www-llb.cea.fr/spectros/pdf/eros-llb.pdf EROS] and [http://www-llb.cea.fr/spectros/pdf/prism-llb.pdf PRISM] ([http://www-llb.cea.fr/prism/PRISM.html alternate]) at [[Commissariat à l'énergie atomique|CEA]] [[Laboratoire Léon Brillouin]] ([http://www-llb.cea.fr/index_e.html LLB]) in [[Saclay]], [[France]]
* [http://www.frm2.tum.de/wissenschaft/diffraktometer/n-rex/index.html N-REX+], [http://www.frm2.tum.de/wissenschaft/diffraktometer/mira/index.html MIRA], [http://www.frm2.tum.de/wissenschaft/index.html TREFF@NoSpec], [http://www.hzg.de/central_departments/genf/branch/frm/005265/index_0005265.html REFSANS] and [http://www.jcns.info/jcns_maria/ MARIA] at the [[FRM II|Forschungsneutronenquelle Heinz Maier-Leibnitz]] ([http://www.frm2.tum.de FRM II]) in [[Garching]], [[Germany]]
* [http://www.gkss.de/central_departments/genf/instruments/003142/index_0003142.html.en NeRo] and [http://www.gkss.de/central_departments/genf/instruments/003138/index_0003138.html.de PNR] at the [[GKSS|GKSS Research Centre]] ([http://www.gkss.de GKSS]) in [[Geesthacht]], [[Germany]]
* [http://www.hmi.de/bensc/instrumentation/instrumente/v6/v6_en.htm V6 reflectometer] at [[Hahn-Meitner-Institut]] ([http://www.hmi.de/index_en.html HMI]) in [[Berlin]], [[Germany]]
* [http://www.fz-juelich.de/iff/wns_hadas/ HADAS] at [[Forschungszentrum Jülich]] in [[Jülich]], [[Germany]]

* PNR at the [[Dhruva reactor]], [[Bhabha Atomic Research Centre]] in [[Mumbai]], [[India]]
* [http://flnp.jinr.ru/140 REFLEX] and [http://flnp.jinr.ru/139/ REMUR] at [[Joint Institute for Nuclear Research]] IBR-2 in [[Dubna]], [[Russia]]
* [http://kur.web.psi.ch/amor/ AMOR] at the [[Paul Scherrer Institute]] ([http://www.psi.ch PSI]) in [[Villigen]], [[Switzerland]]
*[http://www.isis.rl.ac.uk/largescale/surf/surf.htm SURF], [http://www.isis.rl.ac.uk/largescale/surf/crisp.htm CRISP], [http://ts-2.isis.rl.ac.uk/instruments/inter/ INTER], [http://ts-2.isis.rl.ac.uk/instruments/offspec/ Offspec] and [http://ts-2.isis.rl.ac.uk/instruments/polref/ polREF] at the [[ISIS neutron source]] ([http://www.isis.rl.ac.uk/ ISIS]) in [[Oxfordshire]], [[United Kingdom]]
*[http://www.ncnr.nist.gov/instruments/ng1refl/ NG1], [http://www.ncnr.nist.gov/instruments/ng7refl/ NG7] and [http://www.ncnr.nist.gov/programs/reflect/ANDR/ AND/R] at the [[NIST Center for Neutron Research]] ([http://www.ncnr.nist.gov NCNR]) in [[Gaithersburg, Maryland]], [[United States]]
*[http://neutrons.ornl.gov/instrument_systems/beamline_04b_lr/index.shtml Liquids] and [http://neutrons.ornl.gov/instrument_systems/beamline_04a_mr/index.shtml Magnetic] at the [[Spallation Neutron Source]] ([http://neutrons.ornl.gov/ ORNL]) in [[Oak Ridge, Tennessee]], [[United States]]
* Neutron Reflectometer at the [http://www.murr.missouri.edu/rd_material_sciences_instrumentation_gans.php University of Missouri Research Reactor], in [[Columbia, Missouri]]

==Partial list of neutron reflectometry software==
*[http://www.ncnr.nist.gov/programs/reflect/data_reduction/software/reflred.html Reflred] and [http://www.ncnr.nist.gov/programs/reflect/data_reduction/software/reflfit.html reflfit] ([http://www.ncnr.nist.gov/programs/reflect/data_reduction/software/index.html NIST Center for Neutron Research])
*[http://motofit.sourceforge.net Motofit]
*[http://www.hmi.de/bensc/instrumentation/instrumente/v6/refl/parratt_en.htm Parratt32] ([[Hahn-Meitner-Institut|HMI]])
*[http://www.physics.brocku.ca/~tharroun/yanera Yanera] ([[Brock University]])
*[http://stochfit.sourceforge.net StochFit]
*[http://www.fs.kfki.hu FitSuite]
*[http://genx.sf.net GenX]
*[http://smmb.usc.es/sangra/sangra.php SANGRA] (web application, no local installation required)

[[Category:Neutron scattering]]

Rat-race coupler

2013-10-20T05:25:55Z

103.21.126.77:

{{Multiple issues|notability=March 2009|unreferenced=February 2009|orphan=February 2009}}
'''Block Premium''' is the [[Buyer's premium|premiums]] paid in [[Block trade|block transactions]], which is indeed how much the new large minority [[shareholder]] would pay more per [[Share (finance)|share]], than the [[Share price|stock price]] two days after the transaction.

==Block Premium per Share==
''Block Premuim per share'' or ''BPS'' is derived as
:::<math>BPS=\frac{{P_{t}^{*}-P_{t+2}}}{P_{t+2}}</math>

==See also==
* [[Control premium]]

[[Category:Stock market]]

{{Business-stub}}

Spectral centroid

2013-08-04T06:20:11Z

103.21.125.79:

In [[complex analysis]], a branch of mathematics, the '''Schwarz integral formula''', named after [[Hermann Schwarz]], allows one to recover a [[holomorphic function]], [[up to]] an imaginary constant, from the boundary values of its real part.

==Unit disc==
Let ''ƒ'' = ''u'' + ''iv'' be a function which is holomorphic on the closed unit disc {''z'' ∈ '''C''' | |''z''| ≤ 1}. Then

: <math> f(z) = \frac{1}{2\pi i} \oint_{|\zeta| = 1} \frac{\zeta + z}{\zeta - z} \text{Re}(f(\zeta)) \, \frac{d\zeta}{\zeta}
+ i\text{Im}(f(0))</math>

for all |''z''| < 1.

==Upper half-plane==
Let ''ƒ'' = ''u'' + ''iv'' be a function that is holomorphic on the closed [[upper half-plane]] {''z'' ∈ '''C''' | Im(''z'') ≥ 0} such that, for some ''α'' > 0, |''z''''α'' ''ƒ''(''z'')| is bounded on the closed upper half-plane. Then

: <math>
f(z)
=
\frac{1}{\pi i} \int_{-\infty}^\infty \frac{u(\zeta,0)}{\zeta - z} \, d\zeta
=
\frac{1}{\pi i} \int_{-\infty}^\infty \frac{Re(f)(\zeta+0i)}{\zeta - z} \, d\zeta
</math>

for all Im(''z'') > 0.

Note that, as compared to the version on the unit disc, this formula does not have an arbitrary constant added to the integral; this is because the additional decay condition makes the conditions for this formula more stringent.

== Corollary of Poisson integral formula ==

The formula follows from [[Poisson integral formula]] applied to ''u'':<ref>
{{cite web
|url=http://books.google.com/books?id=NVrgftOGG1sC&pg=PA9&ots=FTpLISInOP&dq=Schwarz+formula&sig=tYdkW2Mq4IJg-gTIDWVCEI4HKCE
|title=Lectures on Entire Functions - Google Book Search
|publisher=books.google.com
|accessdate=2008-06-26
|last=
|first=
}}
</ref><ref>The derivation without an appeal to the Poisson formula can be found at: http://planetmath.org/encyclopedia/PoissonFormula.html</ref>

: <math>u(z) = \frac{1}{2\pi}\int_0^{2\pi} u(e^{i\psi}) \operatorname{Re} {e^{i\psi} + z \over e^{i\psi} - z} \, d\psi\text{ for }|z| < 1.</math>

By means of conformal maps, the formula can be generalized to any simply connected open set.

== Notes and references ==
<references />

* [[Lars Ahlfors|Ahlfors, Lars V.]] (1979), ''Complex Analysis'', Third Edition, McGraw-Hill, ISBN 0-07-085008-9
* Remmert, Reinhold (1990), ''Theory of Complex Functions'', Second Edition, Springer, ISBN 0-387-97195-5
* Saff, E. B., and A. D. Snider (1993), ''Fundamentals of Complex Analysis for Mathematics, Science, and Engineering'', Second Edition, Prentice Hall, ISBN 0-13-327461-6

[[Category:Complex analysis]]

Semblance analysis

2013-06-01T09:55:45Z

103.21.125.55: /* History */

The '''open-circuit test''', or "no-load test", is one of the methods used in [[electrical engineering]] to determine the [[Electrical impedance|no-load impedance]] in the excitation branch of a [[transformer]].

[[File:Open circuit test.png|right|500px|Circuit diagram for open-circuit test]]

==Method==

The secondary of the transformer is left open-circuited. A [[wattmeter]] is connected to the primary. An [[ammeter]] is connected in series with the primary winding. A [[voltmeter]] is optional since the applied voltage is the same as the voltmeter reading. Rated voltage is applied at primary.

If the applied voltage is normal voltage then normal flux will be set up. Since [[iron loss]] is a function of applied voltage, normal iron loss will occur. Hence the iron loss is maximum at rated voltage. This maximum iron loss is measured using the wattmeter. Since the impedance of the [[Series and parallel circuits|series]] winding of the transformer is very small compared to that of the excitation branch, all of the input voltage is [[voltage drop|dropped]] across the excitation branch. Thus the wattmeter measures only the iron loss. This test only measures the combined iron losses consisting of the [[hysteresis loss]] and the [[eddy current]] loss. Although the hysteresis loss is less than the eddy current loss, it is not negligible. The two losses can be separated by driving the transformer from a variable frequency source since the hysteresis loss varies linearly with supply frequency and the eddy current loss varies with the square.

Since the secondary of the transformer is open, the primary draws only no-load current, which will have some copper loss. This no-load current is very small and because the copper loss in the primary is proportional to the square of this current, it is negligible. There is no copper loss in the secondary because there is no secondary current.

[[Electric current|Current]], [[voltage]] and [[electric power|power]] are measured at the [[primary winding]] to ascertain the [[admittance]] and [[power factor|power-factor angle]].

Another method of determining the series impedance of a real transformer is the [[short circuit test]].

==Calculations==
The current <math>\mathbf{I_0}</math> is very small.

If <math>\mathbf{W}</math> is the wattmeter reading then,

:<math>\mathbf{W} = \mathbf{V_1} \mathbf{I_0} \cos \phi_0 </math>

That equation can be rewritten as,

:<math>\cos \phi_0 = \frac {\mathbf{W}} {\mathbf{V_1} \mathbf{I_0}} </math>

Thus,

:<math>\mathbf{I_m} = \mathbf{I_0} \sin \phi_0 </math>

:<math>\mathbf{I_w} = \mathbf{I_0} \cos \phi_0 </math>

===Impedance===

By using the above equations, <math>\mathbf{X_0}</math> and <math>\mathbf{R_0}</math> can be calculated as,

:<math>\mathbf{X_0} = \frac {\mathbf{V_1}} {\mathbf{I_m}} </math>

:<math>\mathbf{R_0} = \frac {\mathbf{V_1}} {\mathbf{I_w}} </math>

Thus,

:<math>\mathbf{Z_0} = \sqrt {\mathbf{R_0}^2 +\mathbf{X_0}^2} </math>

or

:<math>\mathbf{Z_0} = \mathbf{R_0} + \mathbf{j} \mathbf{X_0} </math>

===Admittance===

The admittance is the inverse of impedance. Therefore,

:<math>\mathbf{Y_0} = \frac {1} {\mathbf{Z_0}} </math>

The conductance <math>\mathbf{G_0}</math> can be calculated as,

:<math>\mathbf{G_0} = \frac {\mathbf{W}} {\mathbf{V_1}^2} </math>

Hence the susceptance,

:<math>\mathbf{B_0} = \sqrt {\mathbf{Y_0}^2 -\mathbf{G_0}^2} </math>

or

:<math>\mathbf{Y_0} = \mathbf{G_0} + \mathbf{j} \mathbf{B_0} </math>

Here, 

<math>\mathbf{W}</math> is the wattmeter reading 

<math>\mathbf{V_1}</math> is the applied rated voltage 

<math>\mathbf{I_0}</math> is the no-load current 

<math>\mathbf{I_m}</math> is the magnetizing component of no-load current 

<math>\mathbf{I_w}</math> is the core loss component of no-load current 

<math>\mathbf{Z_0}</math> is the exciting impedance 

<math>\mathbf{Y_0}</math> is the exciting admittance

==References==
*{{cite book | author=Kosow| title=Electric Machinery and Transformers | publisher=Pearson Education India | year=2007}}
*{{cite book | author=Smarajit Ghosh| title=Fundamentals of Electrical and Electronics Engineering | publisher=PHI Learning Pvt. Ltd. | year=2004}}
*{{cite book | author=Wildi, Wildi Theodore| title=Electrical Machines , Drives And Power Systems, 6th edtn.
| publisher=Pearson | year=2007}}

== See also ==
*[[Short-circuit test]]
*[[Thévenin's theorem]]
*[[Blocked rotor test]]
*[[Circle diagram]]
{{DEFAULTSORT:Open Circuit Test}}
[[Category:Electrical tests]]
[[Category:Transformers (electrical)]]

Unit propagation

2013-05-23T21:32:53Z

103.21.126.79:

{{Confusing|article|date=February 2009}}

The '''Davis–Putnam algorithm''' was developed by [[Martin Davis]] and [[Hilary Putnam]] for checking the validity of a [[first-order logic]] formula using a [[Resolution (logic)|resolution]]-based decision procedure for [[propositional logic]]. Since the set of valid first-order formulas is [[recursively enumerable]] but not [[Recursive set|recursive]], there exists no general algorithm to solve this problem. Therefore, the Davis–Putnam algorithm only terminates on valid formulas. Today, the term "Davis-Putnam algorithm" is often used synonymously with the resolution-based propositional decision procedure that is actually only one of the steps of the original algorithm.

The procedure is based on [[Herbrand's theorem]], which implies that an [[satisfiable|unsatisfiable]] formula has an unsatisfiable [[ground instance]], and on the fact that a formula is valid if and only if its negation is unsatisfiable. Taken together, these facts imply that to prove the validity of ''φ'' it is enough to prove that a ground instance of ''¬φ'' is unsatisfiable. If ''φ'' is not valid, then the search for an unsatisfiable ground instance will not terminate.

The procedure roughly consists of these three parts:
* put the formula in [[prenex]] form and eliminate quantifiers
* generate all propositional ground instances, one by one
* check if each instance is satisfiable

The last part is probably the most innovative one, and works as follows:

* for every variable in the formula
** for every clause <math>c</math> containing the variable and every clause <math>n</math> containing the negation of the variable
*** [[Resolution (logic)|resolve]] ''c'' and ''n'' and add the resolvent to the formula
** remove all original clauses containing the variable or its negation

At each step, the intermediate formula generated is [[equisatisfiable]] to the original formula, but it does not retain [[Logical equivalence|equivalence]]. The resolution step leads to a worst-case exponential blow-up in the size of the formula. The [[DPLL algorithm]] is a refinement of the propositional satisfiability step of the Davis–Putnam procedure, that requires only a linear amount of memory in the worst case.

==See also==
*[[Herbrandization]]

==References==
* {{cite journal
|last=Davis
|first=Martin
| coauthors= Putnam, Hilary
| title=A Computing Procedure for Quantification Theory
| journal =[[Journal of the ACM]]
| volume = 7
| issue = 3
| pages = 201–215
| year = 1960
| url = http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=321034
| doi=10.1145/321033.321034}}
*{{cite journal
| last=Beckford
| first=Jahbrill
| coauthors=Logemann, George, and Loveland, Donald
| title=A Machine Program for Theorem Proving
| journal =[[Communications of the ACM]]
| volume=5
| issue=7
| pages = 394–397
| year=1962
| url=http://portal.acm.org/citation.cfm?doid=368273.368557
| doi=10.1145/368273.368557}}
* {{cite conference
| author = R. Dechter
| coauthors = I. Rish
| editor = J. Doyle and E. Sandewall and P. Torasso
| year =
| title = Directional Resolution: The Davis–Putnam Procedure, Revisited
| conference =
| booktitle = Principles of Knowledge Representation and Reasoning: Proc. of the Fourth International Conference (KR'94)
| pages = 134–145
| publisher = Starswager18
| url =
| conferenceurl =
}}
* {{cite book|author=John Harrison|title=Handbook of practical logic and automated reasoning|year=2009|publisher=Cambridge University Press|isbn=978-0-521-89957-4|pages=79–90}}

{{DEFAULTSORT:Davis-Putnam algorithm}}
[[Category:Boolean algebra]]
[[Category:Constraint programming]]
[[Category:Automated theorem proving]]

{{formalmethods-stub}}