{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:01Z","timestamp":1761611161651},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1990,9,1]],"date-time":"1990-09-01T00:00:00Z","timestamp":652147200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[1990,9]]},"DOI":"10.1007\/bf01810294","type":"journal-article","created":{"date-parts":[[2005,6,27]],"date-time":"2005-06-27T17:54:02Z","timestamp":1119894842000},"page":"97-118","source":"Crossref","is-referenced-by-count":6,"title":["Symbolic constraint handling through unification in finite algebras"],"prefix":"10.1007","volume":"1","author":[{"given":"Wolfram","family":"B\u00fcttner","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Estenfeld","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Schmid","sequence":"additional","affiliation":[]},{"given":"Hans-Albert","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Tid\u00e9n","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01810294_CR1","volume-title":"Distributive lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive lattices. Columbia: University of Missouri Press 1974"},{"key":"BF01810294_CR2","doi-asserted-by":"crossref","unstructured":"Bryant, R.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput.C-35, 677\u2013691 (1986)","DOI":"10.1109\/TC.1986.1676819"},{"key":"BF01810294_CR3","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/03081078908935037","volume":"15","author":"W. B\u00fcttner","year":"1989","unstructured":"B\u00fcttner, W.: Implementing complex domains of application in an extended prolog system. Int. J. Gen. Syst.15, 129\u2013139 (1989)","journal-title":"Int. J. Gen. Syst."},{"key":"BF01810294_CR4","volume-title":"9th International Conference on Automated Deduction. Lecture Notes in Comp. Sc. Vol. 310","author":"W. B\u00fcttner","year":"1988","unstructured":"B\u00fcttner, W.: Unification in finite algebras is unitary (?). In: Lusk, E., Overbeek, R. (eds.) 9th International Conference on Automated Deduction. Lecture Notes in Comp. Sc. Vol. 310. Berlin, Heidelberg, New York: Springer 1988"},{"key":"BF01810294_CR5","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0747-7171(87)80065-2","volume":"4","author":"W. B\u00fcttner","year":"1987","unstructured":"B\u00fcttner, W., Simonis, H.: Embedding Boolean expressions into logic programming. J. Symb. Comput.4, 191\u2013205 (1987)","journal-title":"J. Symb. Comput."},{"key":"BF01810294_CR6","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF00243000","volume":"5","author":"A. Cohn","year":"1989","unstructured":"Cohn, A.: The notion of proof in hardware verification. J. Autom. Reasoning5, 74\u201386 (1989)","journal-title":"J. Autom. Reasoning"},{"key":"BF01810294_CR7","volume-title":"Actes du s\u00e9minaire 1986 \u2014 programmation en logique. Tech. report, CNET","author":"A. Colmerauer","year":"1986","unstructured":"Colmerauer, A.: Note sur PROLOG III. In: Actes du s\u00e9minaire 1986 \u2014 programmation en logique. Tech. report, CNET, Tregastel, France (1986)"},{"key":"BF01810294_CR8","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. deKleer","year":"1984","unstructured":"deKleer, J., Brown, J.: A qualitative physics based on confluences. Artif. Intell.24, 7\u201383 (1984)","journal-title":"Artif. Intell."},{"key":"BF01810294_CR9","volume-title":"Constraints and logic programming. Tech. report TR-LP-9","author":"M. Dincbas","year":"1986","unstructured":"Dincbas, M., Van Hentenryck, P.: Constraints and logic programming. Tech. report TR-LP-9, ECRC, FRG (1986)"},{"key":"BF01810294_CR10","volume-title":"Solving large combinatorial problems in logic programming. Tech. report TR-LP-21","author":"M. Dincbas","year":"1987","unstructured":"Dincbas, M., Simonis, H., Van Hentenryck, P.: Solving large combinatorial problems in logic programming. Tech. report TR-LP-21, ECRC, FRG (1987)"},{"key":"BF01810294_CR11","volume-title":"Unifikation in endlichen Algebren und ihre Integration in Prolog","author":"T. Filkorn","year":"1988","unstructured":"Filkorn, T.: Unifikation in endlichen Algebren und ihre Integration in Prolog. Diploma thesis, Technische Universit\u00e4t M\u00fcnchen, FRG (1988)"},{"key":"BF01810294_CR12","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1988","unstructured":"Gr\u00e4tzer, G.: Universal Algebra. Berlin, Heidelberg, New York: Springer 1988"},{"key":"BF01810294_CR13","doi-asserted-by":"crossref","unstructured":"Hayes, J. P.: Pseudo-Boolean logic circuits. IEEE Trans. Comput.C-35, 602\u2013612 (1986)","DOI":"10.1109\/TC.1986.1676801"},{"key":"BF01810294_CR14","volume-title":"FM8501: A verified microprocessor. Tech. report 47","author":"W. A. Hunt Jr.","year":"1985","unstructured":"Hunt, W. A. Jr.: FM8501: A verified microprocessor. Tech. report 47, University of Texas, USA (1985)"},{"key":"BF01810294_CR15","volume-title":"Fourth International Conference on Logic Programming, Cambridge (Mass)","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Michaylov, S.: Methodology and Implementation of a CLP System. In: Lassez, J.-L. (ed.) Fourth International Conference on Logic Programming, Cambridge (Mass). London: MIT Press 1987"},{"key":"BF01810294_CR16","volume-title":"14th Symposium on Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: 14th Symposium on Principles of Programming Languages. New York: ACM 1987"},{"key":"BF01810294_CR17","volume-title":"13th Colloquium on Trees in Algebra and Programming. Lecture Notes in Comp. Sc. Vol. 299","author":"T. Nipkow","year":"1988","unstructured":"Nipkow, T.: Unification in primal algebras. In: Dauchet, M., Nivat, M. (eds.). 13th Colloquium on Trees in Algebra and Programming. Lecture Notes in Comp. Sc. Vol. 299. Berlin, Heidelberg, New York: Springer 1988"},{"key":"BF01810294_CR18","first-page":"73","volume":"7","author":"G. Plotkin","year":"1972","unstructured":"Plotkin, G.: Building-in equational theories. Machine Intell.7, 73\u201390 (1972)","journal-title":"Machine Intell."},{"key":"BF01810294_CR19","doi-asserted-by":"crossref","unstructured":"Reeves, D. S., Irwin, M. J.: Fast methods for switch-level verification of MOS circuits. IEEE Trans. Comput. Aided Design of Integr. Circuits Syst.CAD-6, 766\u2013779 (1987)","DOI":"10.1109\/TCAD.1987.1270320"},{"key":"BF01810294_CR20","volume-title":"Advances in artificial intelligence-II","author":"J. Siekmann","year":"1987","unstructured":"Siekmann, J.: Unification Theory. In: Du Boulay, B. Hogg, D., Steels, L. (eds.). Advances in artificial intelligence-II. Amsterdam New York Oxford Tokyo: North-Holland 1987"},{"key":"BF01810294_CR21","volume-title":"IEEE International Workshop on AI-Applications to CAD Systems for Electronics","author":"H. Simonis","year":"1987","unstructured":"Simonis, H., Dincbas, M.: Using an extended prolog for digital circuit design. In: IEEE International Workshop on AI-Applications to CAD Systems for Electronics. Los Alamitos: IEEE Computer Society Press 1987"},{"key":"BF01810294_CR22","volume-title":"The fusion of Hardware design and verification","author":"H. Simonis","year":"1988","unstructured":"Simonis, H., Nguen, N., Dincbas, M.: Verification of digital circuits using CHIP. In: Milne, G. (ed.). The fusion of Hardware design and verification. Amsterdam New York Oxford Tokyo: North-Holland 1988"},{"key":"BF01810294_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-2864-0","volume-title":"A short course on error correcting codes","author":"N. J. A. Sloane","year":"1975","unstructured":"Sloane, N. J. A.: A short course on error correcting codes. Berlin, Heidelberg, New York: Springer 1975"},{"key":"BF01810294_CR24","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"R. M. Stallman","year":"1977","unstructured":"Stallman, R. M., Sussman, G. J.: Forward reasoning and dependency directed backtracking in a system for computer aided circuit analysis. Artifi. Intell.9, 135\u2013196 (1977)","journal-title":"Artifi. Intell."},{"key":"BF01810294_CR25","volume-title":"The definition and implementation of a computer programming language based on constraints","author":"G. L. Steele","year":"1980","unstructured":"Steele, G. L.: The definition and implementation of a computer programming language based on constraints. PhD Thesis, MIT, USA (1980)"},{"key":"BF01810294_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","volume":"14","author":"G. J. Sussman","year":"1980","unstructured":"Sussman, G. J., Steele, G. L.: CONSTRAINTS \u2014 A language for expressing almost-hierachical descriptions. Artifi. Intell.14, 1\u201339 (1980)","journal-title":"Artifi. Intell."},{"key":"BF01810294_CR27","volume-title":"The fusion of hardware design and verification","author":"E. Tid\u00e9n","year":"1988","unstructured":"Tid\u00e9n, E.: Symbolic verification of switch-level circuits using a prolog enhanced with unification in finite algebras. In: Milne, G. (ed.). The fusion of hardware design and verification. Amsterdam New York Oxford Tokyo: North-Holland 1988"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01810294.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01810294\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01810294","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T11:57:07Z","timestamp":1557403027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01810294"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["BF01810294"],"URL":"https:\/\/doi.org\/10.1007\/bf01810294","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}