{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:24Z","timestamp":1740099084337,"version":"3.37.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319964171"},{"type":"electronic","value":"9783319964188"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96418-8_25","type":"book-chapter","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T06:57:13Z","timestamp":1531465033000},"page":"209-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["3BA: A Border Bases Solver with a SAT Extension"],"prefix":"10.1007","author":[{"given":"Jan","family":"Hor\u00e1\u010dek","sequence":"first","affiliation":[]},{"given":"Martin","family":"Kreuzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,14]]},"reference":[{"key":"25_CR1","unstructured":"Balyo, T., Heule, M. J., J\u00e4rvisalo, M., et al.: Proceedings of SAT Competition 2016. Department of Computer Science, University of Helsinki (2016)"},{"key":"25_CR2","unstructured":"Balyo, T., Heule, M.J., J\u00e4rvisalo, M., et al.: Proceedings of SAT Competition 2017. Department of Computer Science, University of Helsinki (2017)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Boyer, B., Eder, C., Faug\u00e8re, J.-C., Lachartre, S., Martani, F.: GBLA: Gr\u00f6bner basis linear algebra package. In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, pp. 135\u2013142. ACM (2016)","DOI":"10.1145\/2930889.2930914"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"1326","DOI":"10.1016\/j.jsc.2008.02.017","volume":"44","author":"M Brickenstein","year":"2009","unstructured":"Brickenstein, M., Dreyer, A.: PolyBoRi: a framework for Gr\u00f6bner basis computations with Boolean polynomials. J. Symbolic Comput. 44, 1326\u20131345 (2009)","journal-title":"J. Symbolic Comput."},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-15582-6_17","volume-title":"Mathematical Software \u2013 ICMS 2010","author":"J-C Faug\u00e8re","year":"2010","unstructured":"Faug\u00e8re, J.-C.: FGb: a library for computing Gr\u00f6bner bases. In: Fukuda, K., Hoeven, J., Joswig, M., Takayama, N. (eds.) ICMS 2010. LNCS, vol. 6327, pp. 84\u201387. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15582-6_17"},{"key":"25_CR6","unstructured":"Gay, M., Burchard, J., Hor\u00e1\u010dek, J., Messeng Ekossono, A.S., Schubert, T., Becker, B., Kreuzer, M., Polian, I.: Small scale AES toolbox: algebraic and propositional formulas, circuit-implementations and fault equations. In: Conference on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE 2016), Barcelona (2016)"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-319-72453-9_11","volume-title":"Mathematical Aspects of Computer and Information Sciences","author":"J Hor\u00e1\u010dek","year":"2017","unstructured":"Hor\u00e1\u010dek, J., Burchard, J., Becker, B., Kreuzer, M.: Integrating algebraic and SAT solvers. In: Bl\u00f6mer, J., Kotsireas, I.S., Kutsia, T., Simos, D.E. (eds.) MACIS 2017. LNCS, vol. 10693, pp. 147\u2013162. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-72453-9_11"},{"key":"25_CR8","unstructured":"Hor\u00e1\u010dek, J., Kreuzer, M.: On conversions from CNF to ANF. In: 2th International Workshop on Satisfiability Checking and Symbolic Computation, SC-square, Kaiserslautern (2017)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Hor\u00e1\u010dek, J., Kreuzer, M., Messeng Ekossono, A.S.: Computing Boolean border bases. In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC, Timisoara, pp. 465\u2013472. IEEE (2016)","DOI":"10.1109\/SYNASC.2016.076"},{"key":"25_CR10","unstructured":"Hor\u00e1\u010dek, J., Kreuzer, M., Messeng Ekossono, A.S.: A signature based border basis algorithm. In: Conference on Algebraic Informatics, CAI, Kalamata (2017)"},{"key":"25_CR11","unstructured":"Hovinen, B., Martani, F.: LELA: library for exact linear algebra (2011). https:\/\/github.com\/Singular\/LELA"},{"issue":"2","key":"25_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/j.jpaa.2005.07.006","volume":"205","author":"A Kehrein","year":"2006","unstructured":"Kehrein, A., Kreuzer, M.: Computing border bases. J. Pure Appl. Algebra 205(2), 279\u2013295 (2006)","journal-title":"J. Pure Appl. Algebra"},{"key":"25_CR13","unstructured":"Schubert, T., Reimer, S.: antom (2016). https:\/\/projects.informatik.uni-freiburg.de\/projects\/antom"},{"key":"25_CR14","unstructured":"The ApCoCoA Team. ApCoCoA: Applied Computations in Commutative Algebra. http:\/\/apcocoa.uni-passau.de"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96418-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T15:35:55Z","timestamp":1571585755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96418-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319964171","9783319964188"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96418-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}