Filters








7 Hits in 3.1 sec

Towards Smarter MACE-style Model Finders

Mikolas Janota, Martin Suda
unpublished
The paper investigates several novel techniques in a finite model-finder based on the translation to SAT, referred to as the MACE-style approach.  ...  Further, finite model finders provide useful information for counter-satisfiable conjectures.  ...  Here we propose to generalize the MACE-style approach using a lazy grounding.  ... 
doi:10.29007/w42s fatcat:26yg3melqzejrdue7emmtandgu

Finite Model Finding in SMT [chapter]

Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstić
2013 Lecture Notes in Computer Science  
This inability to return counter-models limits their usefulness in applications that produce quantified verification conditions.  ...  We present a novel finite model finding method that reduces these limitations in the case of quantifiers ranging over free sorts.  ...  Acknowledgments We thank Clark Barrett, Morgan Deters, Dejan Jovanović, and Franc ¸ois Bobot for their suggestions and assistance in the implementation of our model finder.  ... 
doi:10.1007/978-3-642-39799-8_42 fatcat:zgbl7woh6rgbth5y65fpbydx3u

Hammering towards QED

Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban
2014 Journal of Formalized Reasoning  
We also discuss the relation of this technology to the QED Manifesto and consider its implications for QED-style efforts.  ...  The basic idea is to use finite model finders such as MACE [78] and Paradox [32] to find countermodels of the conjecture, and gradually select axioms that exclude such countermodels.  ...  There are several ways to such smarter ATP-internal methods.  ... 
doi:10.6092/issn.1972-5787/4593 dblp:journals/jfrea/BlanchetteKPU16 fatcat:zw4fz3wjrbfm3acuk4f576mzxm

Helen Matthews Lewis: living social justice in Appalachia

2012 ChoiceReviews  
Change must look toward changing the causes of poverty and not the results of poverty. The compromise or combination model would approach change through: 1.  ...  The following excerpt represents an essential piece in the movement of cultural workers and scholars away from Appalachian subculture and defi ciency models toward broader analyses that took into consideration  ...  I am thinking about the book by Linda Tate, Power in the Blood, an enlarged family history, as a possible model. I want to know more about the history of the Harris family coming into Georgia.  ... 
doi:10.5860/choice.50-1057 fatcat:3666zdxsnfa57g5o6knixprpsm

PROCEEDINGS OF THE ANNUAL MEETING OF THE ASSOCIATION OF COLLEGIATE MARKETING EDUCATORS NEW ORLEANS, LA ADVANCES IN MARKETTING

Prashant Srivastava, Dennis Emmett, David Paul, Ashish Chandra, Kimball Marshall, Alcorn, Maxwell Hsu
2012 Proceedings of The Association of Collegiate Marketing Educators   unpublished
Vermunt developed the Inventory of Learning Styles (ILS), a questionnaire based on this model of learning.  ...  He identified four different learning styles-a meaning-directed style, a reproduction-directed style, an application-directed style and an undirected style.  ... 
fatcat:t2iyzgazszgxplm74zdzqxgo34

Salisbury Advertiser 07-1885

(:Unkn) Unknown
1885
Suspicion should always be directed towards those concerns who claim that they are smarter than their competitors, or who hold out the Inducement that they can sell goods at higher rates than the market  ...  The finder will return to B. F. Hayman, Par- Md., and receive compensation. , e hcj^^B-t °«« their entire .  ...  A bushjel ofthis Lime coi74-/\i AND Are Now o$ Exhibition _$" CLOTHING Vei7 pretty styles are shown, and prices are made lower than ever.  ... 
doi:10.13016/m24x54h8b fatcat:a2m6cbjumvgvxa7szbsg72b3dq

Selling love

Pamela Ilyse Epstein
2010
Doing so allowsinsight on nineteenth- and early-twentieth century attitudes toward love, marriage, and sexuality in an increasingly anonymous, urban world.  ...  The reporters' ambivalence toward these women is clear.  ...  The working-class women, often children of immigrants, did not fit the white, middle-class model of womanhood.  ... 
doi:10.7282/t3251hzk fatcat:otxfaj6k4va2bi43kbbrgqkl6y