Vote for your favorite mineral in #MinCup25! - Pollucite vs. Tugtupite
It's the cesium #pollucite against the optical changeling #tugtupite for this match.
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Reif, John H., Kasif, Simon, Sherlekar, Deepak (2008) Formula dissection: A parallel algorithm for constraint satisfaction. Computers & Mathematics with Applications, 55. 1170-1177 doi:10.1016/j.camwa.2007.07.002

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleFormula dissection: A parallel algorithm for constraint satisfaction
JournalComputers & Mathematics with Applications
AuthorsReif, John H.Author
Kasif, SimonAuthor
Sherlekar, DeepakAuthor
Year2008 (March)Volume55
PublisherElsevier BV
DOIdoi:10.1016/j.camwa.2007.07.002Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID6572448Long-form Identifiermindat:1:5:6572448:6
GUID0
Full ReferenceReif, John H., Kasif, Simon, Sherlekar, Deepak (2008) Formula dissection: A parallel algorithm for constraint satisfaction. Computers & Mathematics with Applications, 55. 1170-1177 doi:10.1016/j.camwa.2007.07.002
Plain TextReif, John H., Kasif, Simon, Sherlekar, Deepak (2008) Formula dissection: A parallel algorithm for constraint satisfaction. Computers & Mathematics with Applications, 55. 1170-1177 doi:10.1016/j.camwa.2007.07.002
In(n.d.) Computers & Mathematics with Applications Vol. 55. Elsevier BV

See Also

These are possibly similar items as determined by title/reference text matching only.

Liu, Wenjun (2008) Several error inequalities for a quadrature formula with a parameter and applications. Computers & Mathematics with Applications, 56. 1766-1772 doi:10.1016/j.camwa.2008.04.016
Thomsen, Per Grove, Zlatev, Zahari (2008) Development of a data assimilation algorithm. Computers & Mathematics with Applications, 55. 2381-2393 doi:10.1016/j.camwa.2007.11.018
Longani, Vites (2008) A formula for the number of labelled trees. Computers & Mathematics with Applications, 56. 2786-2788 doi:10.1016/j.camwa.2008.07.011
Antal, I., Karátson, J. (2008) A mesh independent superlinear algorithm for some nonlinear nonsymmetric elliptic systems. Computers & Mathematics with Applications, 55. 2185-2196 doi:10.1016/j.camwa.2007.11.014
Verma, Ram U. (2008) The over-relaxed proximal point algorithm based on H-maximal monotonicity design and applications. Computers & Mathematics with Applications, 55. 2673-2679 doi:10.1016/j.camwa.2007.10.025
He, Daan, Cercone, Nick, Gu, Zhenmei (2008) Applying the extended mass-constraint EM algorithm to image retrieval. Computers & Mathematics with Applications, 56. 1010-1024 doi:10.1016/j.camwa.2007.07.019
Al-Bahadili, Hussein, Hussain, Shakir M. (2008) An adaptive character wordlength algorithm for data compression. Computers & Mathematics with Applications, 55. 1250-1256 doi:10.1016/j.camwa.2007.05.014
Huang, Ting-Zhu, Li, Liang (2008) Relaxed forms of BBK algorithm and FBP algorithm for symmetric indefinite linear systems. Computers & Mathematics with Applications, 55. 801-807 doi:10.1016/j.camwa.2007.04.030
Stratford, Kevin, Pagonabarraga, Ignacio (2008) Parallel simulation of particle suspensions with the lattice Boltzmann method. Computers & Mathematics with Applications, 55. 1585-1593 doi:10.1016/j.camwa.2007.08.018
He, Anqi, Liu, Jianzhou (2008) A new non-parameter criterion for H-matrices. Computers & Mathematics with Applications, 55. 1148-1153 doi:10.1016/j.camwa.2007.06.014
Ding, Deng, Zhang, Ying Ying (2008) A splitting-step algorithm for reflected stochastic differential equations in R+1. Computers & Mathematics with Applications, 55. 2413-2425 doi:10.1016/j.camwa.2007.08.043
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are © OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 8, 2025 05:17:55
Go to top of page