{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:58:55Z","timestamp":1743037135055,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":29,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387747583"},{"type":"electronic","value":"9780387747590"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-0-387-74759-0_279","type":"book-chapter","created":{"date-parts":[[2008,8,25]],"date-time":"2008-08-25T11:01:04Z","timestamp":1219662064000},"page":"1591-1598","source":"Crossref","is-referenced-by-count":1,"title":["Inference of Monotone Boolean Functions"],"prefix":"10.1007","author":[{"given":"Vetle I.","family":"Torvik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evangelos","family":"Triantaphyllou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"279_CR1_279","first-page":"306","volume-title":"Encycl. Math.","author":"D.V.B. Alekseev","year":"1988","unstructured":"Alekseev DVB (1988) Monotone Boolean functions. Encycl. Math., vol\u00a06. Kluwer, Dordrecht, 306\u2013307"},{"key":"279_CR2_279","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1006\/inco.1995.1157","volume":"123","author":"J.C. Bioch","year":"1995","unstructured":"Bioch JC, Ibaraki T (1995) Complexity of identifixation and dualization of positive Boolean functions. Inform and Comput 123:50\u201363","journal-title":"Inform. and Comput."},{"issue":"1","key":"279_CR3_279","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1137\/S0097539793269089","volume":"26","author":"E. Boros","year":"1997","unstructured":"Boros E, Hammer PL, Ibaraki T, Kawakami K (1997) Polynomial-time recognition of 2-monotonic positive Boolean functions given by an oracle. SIAM J Comput 26(1):93\u2013109","journal-title":"SIAM J. Comput."},{"key":"279_CR4_279","doi-asserted-by":"publisher","first-page":"732","DOI":"10.1215\/S0012-7094-40-00655-X","volume":"9","author":"R. Church","year":"1940","unstructured":"Church R (1940) Numerical analysis of certain free distributive structures. J\u00a0Duke Math 9:732\u2013734","journal-title":"J. Duke Math."},{"key":"279_CR5_279","first-page":"724","volume":"12","author":"R. Church","year":"1965","unstructured":"Church R (1965) Enumeration by rank of the elements of the free distributive lattice with 7 generators. Notices Amer Math Soc 12:724","journal-title":"Notices Amer. Math. Soc."},{"key":"279_CR6_279","doi-asserted-by":"crossref","unstructured":"Dedekind R (1897) Ueber Zerlegungen von Zahlen durch ihre gr\u00f6ssten gemeinsamen Teiler. Festchrift Hoch Braunschweig u Ges Werke, II:103\u2013148","DOI":"10.1007\/978-3-663-07224-9_1"},{"key":"279_CR7_279","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1137\/S0097539793250299","volume":"24, number6","author":"T. Eiter","year":"1995","unstructured":"Eiter T, Gottlob G (1995) Identifying the minimal transversals of a\u00a0hybergraph and related problems. SIAM J Comput 24(6):1278\u20131304","journal-title":"SIAM J. Comput."},{"key":"279_CR8_279","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1006\/jagm.1996.0062","volume":"21","author":"M.L. Fredman","year":"1996","unstructured":"Fredman ML, Khachiyan L (1996) On the complexity of dualization of monotone disjunctive normal forms. J\u00a0Algorithms 21:618\u2013628","journal-title":"J. Algorithms"},{"issue":"4","key":"279_CR9_279","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1016\/0041-5553(84)90252-0","volume":"24","author":"D.N. Gainanov","year":"1984","unstructured":"Gainanov DN (1984) On one criterion of the optimality of an algorithm for evaluating monotonic Boolean functions. USSR Comput Math Math Phys 24(4):176\u2013 181","journal-title":"USSR Comput. Math. Math. Phys."},{"key":"279_CR10_279","first-page":"3","volume":"2","author":"Y. Gorbunov","year":"1982","unstructured":"Gorbunov Y, Kovalerchuk B (1982) An interactive method of monotone Boolean function restoration. J\u00a0Acad Sci USSR Eng 2:3\u20136 (in Russian.)","journal-title":"J. Acad. Sci. USSR Engin."},{"issue":"20","key":"279_CR11_279","first-page":"1088","volume":"262","author":"G. Hansel","year":"1966","unstructured":"Hansel G (1966) Sur le nombre des fonctions Boolenes monotones den variables. CR Acad Sci Paris 262(20):1088\u20131090","journal-title":"CR Acad. Sci Paris"},{"issue":"3","key":"279_CR12_279","doi-asserted-by":"publisher","first-page":"677","DOI":"10.2307\/2036446","volume":"21","author":"D. Kleitman","year":"1969","unstructured":"Kleitman D (1969) On Dedekind's problem: The number of monotone Boolean functions. Proc Amer Math Soc 21(3):677\u2013682","journal-title":"Proc. Amer. Math. Soc."},{"key":"279_CR13_279","doi-asserted-by":"publisher","first-page":"373","DOI":"10.2307\/1998052","volume":"213","author":"D. Kleitman","year":"1975","unstructured":"Kleitman D, Markowsky G (1975) On Dedekind's problem: The number of isotone Boolean functions. II. Trans Amer Math Soc 213:373\u2013390","journal-title":"Trans. Amer. Math. Soc."},{"key":"279_CR14_279","first-page":"5","volume":"13","author":"V.K. Korobkov","year":"1965","unstructured":"Korobkov VK (1965) On monotone functions of the algebra of logic. Probl Kibernet 13:5\u201328 (in Russian.)","journal-title":"Probl. Kibernet."},{"key":"279_CR15_279","first-page":"5","volume":"38","author":"A.D. Korshunov","year":"1981","unstructured":"Korshunov AD (1981) On the number of monotone Boolean functions. Probl Kibernet 38:5\u2013108 (in Russian.)","journal-title":"Probl. Kibernet."},{"issue":"1-4","key":"279_CR16_279","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0020-0255(96)00082-5","volume":"94","author":"B. Kovalerchuk","year":"1996","unstructured":"Kovalerchuk B, Triantaphyllou E, Deshpande AS, Vityaev E (1996) Interactive learning of monotone Boolean functions. Inform Sci 94(1\u20134):87\u2013118","journal-title":"Inform. Sci."},{"key":"279_CR17_279","unstructured":"Kovalerchuk B, Triantaphyllou E, Vityaev E (1995) Monotone Boolean functions learning techniques integrated with user interaction. Proc Workshop Learning from Examples vs Programming by Demonstrations: Tahoe City, pp\u00a041\u201348"},{"issue":"5","key":"279_CR18_279","doi-asserted-by":"publisher","first-page":"1363","DOI":"10.1137\/S0097539794276324","volume":"26","author":"K. Makino","year":"1997","unstructured":"Makino K, Ibaraki T (1997) The maximum latency and identification of positive Boolean functions. SIAM J Comput 26(5):1363\u20131383","journal-title":"SIAM J. Comput."},{"key":"279_CR19_279","volume-title":"Foundations of algorithms","author":"R. Neapolitan","year":"1996","unstructured":"Neapolitan R, Naimipour K (1996) Foundations of algorithms. D.C. Heath, Lexington, MA"},{"key":"279_CR20_279","unstructured":"Peysakh J (1987) A\u00a0fast algorithm to convert Boolean expressions into CNF. Techn Report IBM Comput Sci RC 12913(57971)"},{"key":"279_CR21_279","volume-title":"Boolean functions and equations","author":"S. Rudeanu","year":"1974","unstructured":"Rudeanu S (1974) Boolean functions and equations. North-Holland, Amsterdam"},{"key":"279_CR22_279","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-45638-1","volume-title":"Boolean functions: With engineering applications and computer applications","author":"W.G. Schneeweiss","year":"1989","unstructured":"Schneeweiss WG (1989) Boolean functions: With engineering applications and computer applications. Springer, Berlin"},{"issue":"11","key":"279_CR23_279","doi-asserted-by":"publisher","first-page":"1300","DOI":"10.1109\/12.544486","volume":"45","author":"W.G. Schneeweiss","year":"1996","unstructured":"Schneeweiss WG (1996) A\u00a0necessary and sufficient criterion for the monotonicity of Boolean functions with deterministic and stochastic applications. IEEE Trans Comput 45(11):1300\u20131302","journal-title":"IEEE Trans. Computers"},{"key":"279_CR24_279","unstructured":"Shmulevich I (1997) Properties and applications of monotone Boolean functions and stack filters. PhD Thesis, Dept. Electrical Engin. Purdue Univ. http:\/\/shay.ecn.purdue.edu\/~shmulevi\/"},{"issue":"2","key":"279_CR25_279","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0041-5553(82)90051-9","volume":"22","author":"N.A. Sokolov","year":"1982","unstructured":"Sokolov NA (1982) On the optimal evaluation of monotonic Boolean functions. USSR Comput Math Math Phys 22(2):207\u2013220","journal-title":"USSR Comput. Math. Math. Phys."},{"key":"279_CR26_279","unstructured":"Torvik VI, Triantaphyllou E (2000) Minimizing the average query complexity of learning monotone Boolean functions. Working Paper Dept Industrial and Manuf Syst Engin, Louisiana State Univ"},{"key":"279_CR27_279","unstructured":"Triantaphyllou E, Lu J (1998) The knowledge acquisition problem in monotone Boolean systems. Encycl. Computer Sci. and Techn. In: Kent A, Williams JG (eds) MD"},{"issue":"Abstract 135","key":"279_CR28_279","first-page":"423","volume":"52","author":"M. Ward","year":"1946","unstructured":"Ward M (1946) Note on the order of free distributive lattices. Bull Amer Math Soc no. Abstract 135 52:423","journal-title":"Bull. Amer. Math. Soc."},{"key":"279_CR29_279","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF00385808","volume":"8","author":"D. Wiedemann","year":"1991","unstructured":"Wiedemann D (1991) A\u00a0computation of the eight Dedekind number. Order 8:5\u20136","journal-title":"Order"}],"container-title":["Encyclopedia of Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-74759-0_279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T09:54:56Z","timestamp":1720691696000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-74759-0_279"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780387747583","9780387747590"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-74759-0_279","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}