{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:23:47Z","timestamp":1725492227889},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75555-5_44","type":"book-chapter","created":{"date-parts":[[2007,9,20]],"date-time":"2007-09-20T06:44:59Z","timestamp":1190270699000},"page":"458-467","source":"Crossref","is-referenced-by-count":0,"title":["Logic as Energy: A SAT-Based Approach"],"prefix":"10.1007","author":[{"given":"Priscila M. V.","family":"Lima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Mariela M.","family":"Morveli-Espinoza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe M. G.","family":"Fran\u00e7a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"Aleksander, I., Evans, R.G., Sales, N.: Towards intentional neural systems: experiments with MAGNUS. In: Proc. of the Fourth Int. Conf. on Artificial Neural Networks, pp. 122\u2013126 (1995)","DOI":"10.1049\/cp:19950540"},{"issue":"10","key":"44_CR2","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1002\/spe.4380201002","volume":"20","author":"V.C. Barbosa","year":"1990","unstructured":"Barbosa, V.C, Lima, P.M.V.: On the distributed parallel simulation of Hopfield\u2019s neural networks. Software-Practice and Experience\u00a020(10), 967\u2013983 (1990)","journal-title":"Software-Practice and Experience"},{"key":"44_CR3","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1023\/B:AIRE.0000036255.53433.26","volume":"21","author":"H.E. Dixon","year":"2004","unstructured":"Dixon, H.E., Ginsberg, M.L., Parkes, A.J.: Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. J. of Art. Intelligence Research\u00a021, 193\u2013243 (2004)","journal-title":"J. of Art. Intelligence Research"},{"key":"44_CR4","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1109\/TPAMI.1984.4767596","volume":"PAMI-6","author":"S. Geman","year":"1984","unstructured":"Geman, S., Geman, D.: Stochastic relaxation, Gibbs distribution, and the Bayesian restoration of images. IEEE Trans. on Pattern Analysis and Machine Intelligence\u00a0PAMI-6, 721\u2013741 (1984)","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"key":"44_CR5","doi-asserted-by":"publisher","first-page":"2554","DOI":"10.1073\/pnas.79.8.2554","volume":"79","author":"J.J. Hopfield","year":"1982","unstructured":"Hopfield, J.J.: Neural networks and physical systems with emergent collective computational abilities. Proc. of the Nat. Acad. of Sciences USA\u00a079, 2554\u20132558 (1982)","journal-title":"Proc. of the Nat. Acad. of Sciences USA"},{"key":"44_CR6","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gellat Jr., C.D., Vecchi, M.P.: Optimization via Simulated Annealing. Science\u00a0220, 671\u2013680 (1983)","journal-title":"Science"},{"key":"44_CR7","unstructured":"Lima, P.M.V.: Resolution-Based Inference on Artificial Neural Networks. Ph.D. Thesis, Department of Computing. Imperial College London, UK (2000)"},{"key":"44_CR8","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1142\/S012906570100076X","volume":"11","author":"P.M.V. Lima","year":"2001","unstructured":"Lima, P.M.V.: A Goal-Driven Neural Propositional Interpreter. International Journal of Neural Systems\u00a011, 311\u2013322 (2001)","journal-title":"International Journal of Neural Systems"},{"key":"44_CR9","unstructured":"Pinkas, G.: Logical Inference in Symmetric Neural Networks. D.Sc. Thesis, Sever Institute of Technology, Washington University, Saint Louis, USA (1992)"},{"key":"44_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/11565123_30","volume-title":"Brain, Vision, and Artificial Intelligence","author":"P.M.V. Lima","year":"2005","unstructured":"Lima, P.M.V., Pereira, G.C., Morveli-Espinoza, M.M.M., Fran\u00e7a, F.M.G.: Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints. In: De Gregorio, M., Di Maio, V., Frucci, M., Musio, C. (eds.) BVAI 2005. LNCS, vol.\u00a03704, pp. 308\u2013317. Springer, Heidelberg (2005)"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Lima, P.M.V., Pereira, G.C., Morveli-Espinoza, M.M.M., Fran\u00e7a, F.M.G.: SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing. In: Proc. of the Fifth Int. Conf. on Hybrid Intelligent Systems, pp. 137\u2013142 (2005)","DOI":"10.1109\/ICHIS.2005.97"},{"key":"44_CR12","unstructured":"Lima, P.M.V., Pereira, G.C., Morveli-Espinoza, M.M.M., Fran\u00e7a, F.M.G., Lavor, C.C.: Mapping Molecular Geometry Problems into Pseudo-Boolean Constraints. In: Proc. of the Int. Work. on Genomic Databases \u2013 IWGD 2005 (2005), http:\/\/www.biowebdb.org\/iwgd05\/proceedings\/index.html"},{"key":"44_CR13","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M. Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov Logic Networks. Machine Learning\u00a062, 107\u2013136 (2006)","journal-title":"Machine Learning"},{"key":"44_CR14","unstructured":"Morveli-Espinoza, M.M.M.: Compiling Problems Resolution to Energy Minimization. M.Sc. dissert. COPPE\/PESC, Universidade Federal do Rio de Janeiro (2006)"},{"key":"44_CR15","unstructured":"Silva, E.F., Lima, P.M.V., Diacovo, R., Fran\u00e7a, F.M.G.: Aggregating energy scenarios using the SATyrus neuro-symbolic tool. In: Abstracts of the 19th Int. Symp. on Mathematical Programming, pp. 146\u2013146 (2006)"}],"container-title":["Lecture Notes in Computer Science","Advances in Brain, Vision, and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75555-5_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:24:31Z","timestamp":1619519071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75555-5_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755548"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75555-5_44","relation":{},"subject":[]}}