Janičić, Predrag; Narboux, Julien Theorem proving as constraint solving with coherent logic. (English) Zbl 1511.68316 J. Autom. Reasoning 66, No. 4, 689-746 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{P. Janičić} and \textit{J. Narboux}, J. Autom. Reasoning 66, No. 4, 689--746 (2022; Zbl 1511.68316) Full Text: DOI
Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil Paraconsistent Gödel modal logic. (English) Zbl 07628202 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 429-448 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Bílková} et al., Lect. Notes Comput. Sci. 13385, 429--448 (2022; Zbl 07628202) Full Text: DOI arXiv
Baader, Franz; Rydval, Jakub Using model theory to find decidable and tractable description logics with concrete domains. (English) Zbl 07606343 J. Autom. Reasoning 66, No. 3, 357-407 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{F. Baader} and \textit{J. Rydval}, J. Autom. Reasoning 66, No. 3, 357--407 (2022; Zbl 07606343) Full Text: DOI
Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil Constraint tableaux for two-dimensional fuzzy logics. (English) Zbl 07532507 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 20-37 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Bílková} et al., Lect. Notes Comput. Sci. 12842, 20--37 (2021; Zbl 07532507) Full Text: DOI arXiv
Cristiá, Maximiliano; Rossi, Gianfranco An automatically verified prototype of the Tokeneer ID station specification. (English) Zbl 07461267 J. Autom. Reasoning 65, No. 8, 1125-1151 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Cristiá} and \textit{G. Rossi}, J. Autom. Reasoning 65, No. 8, 1125--1151 (2021; Zbl 07461267) Full Text: DOI arXiv
Cristiá, Maximiliano; Rossi, Gianfranco Automated reasoning with restricted intensional sets. (English) Zbl 07432188 J. Autom. Reasoning 65, No. 6, 809-890 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Cristiá} and \textit{G. Rossi}, J. Autom. Reasoning 65, No. 6, 809--890 (2021; Zbl 07432188) Full Text: DOI arXiv
Baader, Franz; Rydval, Jakub Description logics with concrete domains and general concept inclusions revisited. (English) Zbl 07614526 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 413-431 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{F. Baader} and \textit{J. Rydval}, Lect. Notes Comput. Sci. 12166, 413--431 (2020; Zbl 07614526) Full Text: DOI
Davarnia, Danial; Hooker, J. N. Consistency for 0-1 programming. (English) Zbl 1525.90268 Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11494, 225-240 (2019). MSC: 90C09 90C10 PDFBibTeX XMLCite \textit{D. Davarnia} and \textit{J. N. Hooker}, Lect. Notes Comput. Sci. 11494, 225--240 (2019; Zbl 1525.90268) Full Text: DOI arXiv
Janičić, Predrag; Marić, Filip; Maliković, Marko Computer-assisted proving of combinatorial conjectures over finite domains: a case study of a chess conjecture. (English) Zbl 1515.03060 Log. Methods Comput. Sci. 15, No. 1, Paper No. 34, 37 p. (2019). MSC: 03B35 68V15 91A46 PDFBibTeX XMLCite \textit{P. Janičić} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 34, 37 p. (2019; Zbl 1515.03060) Full Text: DOI arXiv
Tung, Vu Xuan; Khanh, To Van; Ogawa, Mizuhito raSAT: an SMT solver for polynomial constraints. (English) Zbl 1377.68140 Form. Methods Syst. Des. 51, No. 3, 462-499 (2017). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{V. X. Tung} et al., Form. Methods Syst. Des. 51, No. 3, 462--499 (2017; Zbl 1377.68140) Full Text: DOI
Małkiewicz, Przemysław Clocks and dynamics in quantum models of gravity. (English) Zbl 1373.83046 Classical Quantum Gravity 34, No. 14, Article ID 145012, 26 p. (2017). MSC: 83C45 83C75 83C05 83F05 PDFBibTeX XMLCite \textit{P. Małkiewicz}, Classical Quantum Gravity 34, No. 14, Article ID 145012, 26 p. (2017; Zbl 1373.83046) Full Text: DOI arXiv
Lin, Bo; Zhu, Jubo Sparse continuous-field and super-resolution method for direction-of-arrival estimation. (English) Zbl 1402.94028 Multidimensional Syst. Signal Process. 28, No. 1, 329-340 (2017). MSC: 94A12 94A13 PDFBibTeX XMLCite \textit{B. Lin} and \textit{J. Zhu}, Multidimensional Syst. Signal Process. 28, No. 1, 329--340 (2017; Zbl 1402.94028) Full Text: DOI
Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu Z3str2: an efficient solver for strings, regular expressions, and length constraints. (English) Zbl 1360.68773 Form. Methods Syst. Des. 50, No. 2-3, 249-288 (2017). MSC: 68T15 68W32 PDFBibTeX XMLCite \textit{Y. Zheng} et al., Form. Methods Syst. Des. 50, No. 2--3, 249--288 (2017; Zbl 1360.68773) Full Text: DOI
Chen, Hubie Beyond Q-resolution and prenex form: a proof system for quantified constraint satisfaction. (English) Zbl 1325.03071 Log. Methods Comput. Sci. 10, No. 4, Paper No. 14, 21 p. (2014). MSC: 03F20 03B35 68T20 PDFBibTeX XMLCite \textit{H. Chen}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 14, 21 p. (2014; Zbl 1325.03071) Full Text: DOI arXiv
Gall, Daniel; Frühwirth, Thom Exchanging conflict resolution in an adaptable implementation of ACT-R. (English) Zbl 1307.68015 Theory Pract. Log. Program. 14, No. 4-5, 525-538 (2014). MSC: 68N17 91E10 PDFBibTeX XMLCite \textit{D. Gall} and \textit{T. Frühwirth}, Theory Pract. Log. Program. 14, No. 4--5, 525--538 (2014; Zbl 1307.68015) Full Text: DOI arXiv
Duracz, Jan; Konečný, Michal Polynomial function intervals for floating-point software verification. (English) Zbl 1296.65071 Ann. Math. Artif. Intell. 70, No. 4, 351-398 (2014). MSC: 65G20 68N30 65G30 68T15 65Y04 65-04 PDFBibTeX XMLCite \textit{J. Duracz} and \textit{M. Konečný}, Ann. Math. Artif. Intell. 70, No. 4, 351--398 (2014; Zbl 1296.65071) Full Text: DOI Link
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Proving theorems by program transformation. (English) Zbl 1315.03019 Fundam. Inform. 127, No. 1-4, 115-134 (2013). MSC: 03B35 03B44 68N17 68N30 68T15 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Fundam. Inform. 127, No. 1--4, 115--134 (2013; Zbl 1315.03019) Full Text: DOI
Chan, Siu On; Molloy, Michael A dichotomy theorem for the resolution complexity of random constraint satisfaction problems. (English) Zbl 1270.03122 SIAM J. Comput. 42, No. 1, 27-60 (2013). MSC: 03F20 68Q25 68Q87 PDFBibTeX XMLCite \textit{S. O. Chan} and \textit{M. Molloy}, SIAM J. Comput. 42, No. 1, 27--60 (2013; Zbl 1270.03122) Full Text: DOI
Lee, Geunseop; Fu, Haoying; Barlow, Jesse L. Fast high-resolution image reconstruction using Tikhonov regularization based total least squares. (English) Zbl 1267.65027 SIAM J. Sci. Comput. 35, No. 1, B275-B290 (2013). Reviewer: Gisbert Stoyan (Budapest) MSC: 65D18 65F10 65F22 65F20 65F08 65F15 94A08 65F50 65K05 PDFBibTeX XMLCite \textit{G. Lee} et al., SIAM J. Sci. Comput. 35, No. 1, B275--B290 (2013; Zbl 1267.65027) Full Text: DOI
Zhang, Hantao; Zhang, Jian MACE4 and SEM: a comparison of finite model generators. (English) Zbl 1383.68083 Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 101-130 (2013). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{H. Zhang} and \textit{J. Zhang}, Lect. Notes Comput. Sci. 7788, 101--130 (2013; Zbl 1383.68083) Full Text: DOI
Subramani, K.; Williamson, Matthew; Gu, Xiaofeng Improved algorithms for optimal length resolution refutation in difference constraint systems. (English) Zbl 1259.68261 Formal Asp. Comput. 25, No. 2, 319-341 (2013). MSC: 68W40 03B35 PDFBibTeX XMLCite \textit{K. Subramani} et al., Formal Asp. Comput. 25, No. 2, 319--341 (2013; Zbl 1259.68261) Full Text: DOI
Ostrowski, Max ASP modulo CSP: the clingcon system. (English) Zbl 1281.68202 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 458-463, electronic only (2012). MSC: 68T15 68N17 PDFBibTeX XMLCite \textit{M. Ostrowski}, LIPIcs -- Leibniz Int. Proc. Inform. 17, 458--463 (2012; Zbl 1281.68202) Full Text: DOI
Drescher, Christian; Walsh, Toby Answer set solving with lazy nogood generation. (English) Zbl 1281.68178 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 188-200, electronic only (2012). MSC: 68T05 68T15 68T27 68N17 PDFBibTeX XMLCite \textit{C. Drescher} and \textit{T. Walsh}, LIPIcs -- Leibniz Int. Proc. Inform. 17, 188--200 (2012; Zbl 1281.68178) Full Text: DOI
Arun, K. R. A numerical scheme for three-dimensional front propagation and control of Jordan mode. (English) Zbl 1260.65080 SIAM J. Sci. Comput. 34, No. 2, B148-B178 (2012). Reviewer: Vasilis Dimitriou (Chania) MSC: 65M08 35L60 35L80 58J47 65M06 65L06 PDFBibTeX XMLCite \textit{K. R. Arun}, SIAM J. Sci. Comput. 34, No. 2, B148--B178 (2012; Zbl 1260.65080) Full Text: DOI Link
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert SAT modulo linear arithmetic for solving polynomial constraints. (English) Zbl 1243.68210 J. Autom. Reasoning 48, No. 1, 107-131 (2012). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{C. Borralleras} et al., J. Autom. Reasoning 48, No. 1, 107--131 (2012; Zbl 1243.68210) Full Text: DOI Link
Vondrák, Jan; Chekuri, Chandra; Zenklusen, Rico Submodular function maximization via the multilinear relaxation and contention resolution schemes. (English) Zbl 1288.90081 Proceedings of the 43rd annual ACM symposium on theory of computing, STOC ’11. San Jose, CA, USA, June 6–8, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0691-1). 783-792 (2011). MSC: 90C27 68W25 68W05 68Q87 PDFBibTeX XMLCite \textit{J. Vondrák} et al., in: Proceedings of the 43rd annual ACM symposium on theory of computing, STOC '11. San Jose, CA, USA, June 6--8, 2011. New York, NY: Association for Computing Machinery (ACM). 783--792 (2011; Zbl 1288.90081) Full Text: DOI Link
Lescaylle, Alexei; Villanueva, Alicia The tccp interpreter. (English) Zbl 1294.68047 Lucio, Paqui (ed.) et al., Proceedings of the 9th Spanish conference on programming and computer languages (PROLE 2009), San Sebastián, Spain, September 9–11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 258, No. 1, 63-77 (2009). MSC: 68N20 68N15 68Q60 68T15 PDFBibTeX XMLCite \textit{A. Lescaylle} and \textit{A. Villanueva}, Electron. Notes Theor. Comput. Sci. 258, No. 1, 63--77 (2009; Zbl 1294.68047) Full Text: DOI
Haarslev, Volker; Pai, Hsueh-Ieng; Shiri, Nematollaah A formal framework for description logics with uncertainty. (English) Zbl 1191.68649 Int. J. Approx. Reasoning 50, No. 9, 1399-1415 (2009). MSC: 68T27 68T30 68T15 PDFBibTeX XMLCite \textit{V. Haarslev} et al., Int. J. Approx. Reasoning 50, No. 9, 1399--1415 (2009; Zbl 1191.68649) Full Text: DOI
Subramani, K. Optimal length resolution refutations of difference constraint systems. (English) Zbl 1184.68468 J. Autom. Reasoning 43, No. 2, 121-137 (2009). MSC: 68T15 PDFBibTeX XMLCite \textit{K. Subramani}, J. Autom. Reasoning 43, No. 2, 121--137 (2009; Zbl 1184.68468) Full Text: DOI
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. (English) Zbl 1250.68184 Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 294-305 (2009). MSC: 68Q60 68N30 68T15 PDFBibTeX XMLCite \textit{C. Borralleras} et al., Lect. Notes Comput. Sci. 5663, 294--305 (2009; Zbl 1250.68184) Full Text: DOI Link
Ida, Tetsuo; Marin, Mircea; Takahashi, Hidekazu; Ghoura, Fadoua Computational origami construction as constraint solving and rewriting. (English) Zbl 1283.68184 Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 31-44 (2008). MSC: 68Q42 68N17 68N18 68T15 PDFBibTeX XMLCite \textit{T. Ida} et al., Electron. Notes Theor. Comput. Sci. 216, 31--44 (2008; Zbl 1283.68184) Full Text: DOI
Atserias, Albert; Dalmau, Víctor A combinatorial characterization of resolution width. (English) Zbl 1133.03034 J. Comput. Syst. Sci. 74, No. 3, 323-334 (2008). MSC: 03F20 03B35 03C13 68Q17 68T15 68T20 PDFBibTeX XMLCite \textit{A. Atserias} and \textit{V. Dalmau}, J. Comput. Syst. Sci. 74, No. 3, 323--334 (2008; Zbl 1133.03034) Full Text: DOI Link
Padawitz, Peter Expander2: program verification between interaction and automation. (English) Zbl 1279.68293 López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 35-57 (2007). MSC: 68T15 03B70 68N30 68Q65 68Q42 PDFBibTeX XMLCite \textit{P. Padawitz}, Electron. Notes Theor. Comput. Sci. 177, 35--57 (2007; Zbl 1279.68293) Full Text: DOI
Şerban, Gabriela; Lupea, Mihaiela Computing constrained default extensions – a constraint satisfaction problem. (English) Zbl 1199.68361 Creat. Math. Inform. 16, 99-107 (2007). MSC: 68T27 68T15 68T20 PDFBibTeX XMLCite \textit{G. Şerban} and \textit{M. Lupea}, Creat. Math. Inform. 16, 99--107 (2007; Zbl 1199.68361)
Ran, Xiangkun; Shi, Guangtian Application of chaos optimization algorithm to conflict resolution for collaborative design. (Chinese. English summary) Zbl 1164.93325 J. Lanzhou Jiaotong Univ., Nat. Sci. 26, No. 6, 117-119 (2007). MSC: 93B40 93B51 37D45 PDFBibTeX XMLCite \textit{X. Ran} and \textit{G. Shi}, J. Lanzhou Jiaotong Univ., Nat. Sci. 26, No. 6, 117--119 (2007; Zbl 1164.93325)
Molloy, Michael; Salavatipour, Mohammad R. The resolution complexity of random constraint satisfaction problems. (English) Zbl 1139.68028 SIAM J. Comput. 37, No. 3, 895-922 (2007). MSC: 68Q25 03F20 PDFBibTeX XMLCite \textit{M. Molloy} and \textit{M. R. Salavatipour}, SIAM J. Comput. 37, No. 3, 895--922 (2007; Zbl 1139.68028) Full Text: DOI
Yang, Lu; Zeng, Zhenbing Constructing a tetrahedron with prescribed heights and widths. (English) Zbl 1195.51024 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 203-211 (2007). MSC: 51M20 51K05 68T15 68U05 PDFBibTeX XMLCite \textit{L. Yang} and \textit{Z. Zeng}, Lect. Notes Comput. Sci. 4869, 203--211 (2007; Zbl 1195.51024) Full Text: DOI
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele Decision procedures for extensions of the theory of arrays. (English) Zbl 1125.68115 Ann. Math. Artif. Intell. 50, No. 3-4, 231-254 (2007). MSC: 68T27 03B70 68T15 03B25 PDFBibTeX XMLCite \textit{S. Ghilardi} et al., Ann. Math. Artif. Intell. 50, No. 3--4, 231--254 (2007; Zbl 1125.68115) Full Text: DOI
Seshia, Sanjit A.; Subramani, K.; Bryant, Randal E. On solving Boolean combinations of UTVPI constraints. (English) Zbl 1129.68079 J. Satisf. Boolean Model. Comput. 3, No. 1-2, 67-90 (2007). MSC: 68T15 68T20 90C05 PDFBibTeX XMLCite \textit{S. A. Seshia} et al., J. Satisf. Boolean Model. Comput. 3, No. 1--2, 67--90 (2007; Zbl 1129.68079)
Ibrahimova, Sevda R. A new inversion algorithm for retrieval precisions of the objective parameters on high resolution images. (English) Zbl 1171.65450 Proc. Inst. Math. Mech., Natl. Acad. Sci. Azerb. 24, 223-228 (2006). MSC: 65R20 94A08 PDFBibTeX XMLCite \textit{S. R. Ibrahimova}, Proc. Inst. Math. Mech., Natl. Acad. Sci. Azerb. 24, 223--228 (2006; Zbl 1171.65450)
Ferrand, Gérard; Lesaint, Willy; Tessier, Alexandre Explanations and proof trees. (English) Zbl 1132.68677 Comput. Inform. 25, No. 2-3, 105-125 (2006). MSC: 68T15 68N17 68T27 PDFBibTeX XMLCite \textit{G. Ferrand} et al., Comput. Inform. 25, No. 2--3, 105--125 (2006; Zbl 1132.68677)
Zhang, Gui-Fang; Gao, Xiao-Shan Planar generalized Stewart platforms and their direct kinematics. (English) Zbl 1159.68560 Hong, Hoon (ed.) et al., Automated deduction in geometry. 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16–18, 2004. Revised papers. Berlin: Springer (ISBN 3-540-31332-X/pbk). Lecture Notes in Computer Science 3763. Lecture Notes in Artificial Intelligence, 198-211 (2006). MSC: 68T15 68U05 PDFBibTeX XMLCite \textit{G.-F. Zhang} and \textit{X.-S. Gao}, Lect. Notes Comput. Sci. 3763, 198--211 (2006; Zbl 1159.68560) Full Text: DOI
Xu, Ke; Li, Wei Many hard examples in exact phase transitions. (English) Zbl 1088.68163 Theor. Comput. Sci. 355, No. 3, 291-302 (2006). MSC: 68T20 68Q17 68Q25 PDFBibTeX XMLCite \textit{K. Xu} and \textit{W. Li}, Theor. Comput. Sci. 355, No. 3, 291--302 (2006; Zbl 1088.68163) Full Text: DOI
Istrate, Gabriel; Boettcher, Stefan; Percus, Allon G. Spines of random constraint satisfaction problems: definition and connection with computational complexity. (English) Zbl 1086.68055 Ann. Math. Artif. Intell. 44, No. 4, 353-372 (2005). MSC: 68Q25 68T20 82B27 PDFBibTeX XMLCite \textit{G. Istrate} et al., Ann. Math. Artif. Intell. 44, No. 4, 353--372 (2005; Zbl 1086.68055) Full Text: DOI arXiv
Cachera, David; Jensen, Thomas; Pichardie, David; Schneider, Gerardo Certified memory usage analysis. (English) Zbl 1120.68385 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 91-106 (2005). MSC: 68N30 68T15 68T20 PDFBibTeX XMLCite \textit{D. Cachera} et al., Lect. Notes Comput. Sci. 3582, 91--106 (2005; Zbl 1120.68385) Full Text: DOI
Gao, Yong; Culberson, Joseph Resolution complexity of random constraint satisfaction problems: Another half of the story. (English) Zbl 1090.68100 Discrete Appl. Math. 153, No. 1-3, 124-140 (2005). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{Y. Gao} and \textit{J. Culberson}, Discrete Appl. Math. 153, No. 1--3, 124--140 (2005; Zbl 1090.68100) Full Text: DOI
Cachera, David; Jensen, Thomas; Pichardie, David; Rusu, Vlad Extracting a data flow analyser in constructive logic. (English) Zbl 1077.68051 Theor. Comput. Sci. 342, No. 1, 56-78 (2005). MSC: 68Q60 68Q55 68T15 PDFBibTeX XMLCite \textit{D. Cachera} et al., Theor. Comput. Sci. 342, No. 1, 56--78 (2005; Zbl 1077.68051) Full Text: DOI
Dalmau, Víctor A new tractable class of constraint satisfaction problems. (English) Zbl 1075.68082 Ann. Math. Artif. Intell. 44, No. 1-2, 61-85 (2005). MSC: 68T20 03B05 68T15 PDFBibTeX XMLCite \textit{V. Dalmau}, Ann. Math. Artif. Intell. 44, No. 1--2, 61--85 (2005; Zbl 1075.68082) Full Text: DOI
Arimoto, S.; Bae, J.-H.; Hashiguchi, H.; Ozawa, R. Natural resolution of ill-posedness of inverse kinematics for redundant robots under constraints. (English) Zbl 1087.68671 Commun. Inf. Syst. 4, No. 1, 1-28 (2004). MSC: 70B15 70E60 70Q05 93C85 PDFBibTeX XMLCite \textit{S. Arimoto} et al., Commun. Inf. Syst. 4, No. 1, 1--28 (2004; Zbl 1087.68671) Full Text: DOI Euclid
Zimmer, Jürgen; Melis, Erica Constraint solving for proof planning. (English) Zbl 1071.68093 J. Autom. Reasoning 33, No. 1, 51-88 (2004). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{J. Zimmer} and \textit{E. Melis}, J. Autom. Reasoning 33, No. 1, 51--88 (2004; Zbl 1071.68093) Full Text: DOI
Kullmann, Oliver Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems. (English) Zbl 1081.68032 Ann. Math. Artif. Intell. 40, No. 3-4, 303-352 (2004). MSC: 68Q25 68T15 68T20 PDFBibTeX XMLCite \textit{O. Kullmann}, Ann. Math. Artif. Intell. 40, No. 3--4, 303--352 (2004; Zbl 1081.68032) Full Text: DOI
Fränzle, Martin; Herde, Christian Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems. (English) Zbl 1273.68319 Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 302-316 (2003). MSC: 68T15 PDFBibTeX XMLCite \textit{M. Fränzle} and \textit{C. Herde}, Lect. Notes Comput. Sci. 2850, 302--316 (2003; Zbl 1273.68319)
Darwish, M.; Moukalled, F. The \(\chi\)-schemes: A new consistent high-resolution formulation based on the normalized variable methodology. (English) Zbl 1029.76033 Comput. Methods Appl. Mech. Eng. 192, No. 13-14, 1711-1730 (2003). MSC: 76M12 76T30 76R99 PDFBibTeX XMLCite \textit{M. Darwish} and \textit{F. Moukalled}, Comput. Methods Appl. Mech. Eng. 192, No. 13--14, 1711--1730 (2003; Zbl 1029.76033) Full Text: DOI
Vu, Van-Thinh; Brémond, François; Thonnat, Monique Automatic video interpretation: A recognition algorithm for temporal scenarios based on pre-compiled scenario models. (English) Zbl 1030.68883 Crowley, James L. (ed.) et al., Computer vision systems. Third international conference, ICVS 2003, Graz, Austria, April 1-3, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2626, 523-533 (2003). MSC: 68U99 68T45 PDFBibTeX XMLCite \textit{V.-T. Vu} et al., Lect. Notes Comput. Sci. 2626, 523--533 (2003; Zbl 1030.68883) Full Text: Link
Zwick, Uri Computer assisted proof of optimal approximability results. (English) Zbl 1093.68640 Proceedings of the thirteenth annual ACM-SIAM symposium on discrete algorithms, San Francisco, CA, USA, January 6–8, 2002. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 0-89871-513-X/pbk). 496-505 (2002). MSC: 68T15 PDFBibTeX XMLCite \textit{U. Zwick}, in: Proceedings of the thirteenth annual ACM-SIAM symposium on discrete algorithms, SODA 2002, San Francisco, CA, USA, January 6--8, 2002. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 496--505 (2002; Zbl 1093.68640)
Ratschan, Stefan Continuous first-order constraint satisfaction. (English) Zbl 1072.68607 Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 181-195 (2002). MSC: 68T20 68T15 PDFBibTeX XMLCite \textit{S. Ratschan}, Lect. Notes Comput. Sci. 2385, 181--195 (2002; Zbl 1072.68607) Full Text: Link
Rueher, M. (ed.) Logic programming with constraints. JFPLC 2002. (Programmation en logique avec constraines. JFPLC 2002.) (French) Zbl 1082.68526 Paris: Hermes Science Publications (ISBN 2-7462-0477-0). 306 p. (2002). MSC: 68N17 68T15 68T20 68-06 00B25 PDFBibTeX XMLCite \textit{M. Rueher} (ed.), Programmation en logique avec constraines. JFPLC 2002. Paris: Hermes Science Publications (2002; Zbl 1082.68526)
Schmidt-Schauß, Manfred A decision algorithm for stratified context unification. (English) Zbl 1019.03002 J. Log. Comput. 12, No. 6, 929-953 (2002). Reviewer: N.Ţăndăreanu (Craiova) MSC: 03B35 68T15 03B25 PDFBibTeX XMLCite \textit{M. Schmidt-Schauß}, J. Log. Comput. 12, No. 6, 929--953 (2002; Zbl 1019.03002) Full Text: DOI Link
Ibens, Ortrun Connection tableau calculi with disjunctive constraints. (English) Zbl 0998.03007 Stud. Log. 70, No. 2, 241-270 (2002). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{O. Ibens}, Stud. Log. 70, No. 2, 241--270 (2002; Zbl 0998.03007) Full Text: DOI
Bockmayr, Alexander; Weispfenning, Volker Solving numerical constraints. (English) Zbl 1011.68127 Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; 0-444-50812-0 (vol. 2); 0-444-50813-9 (set)). 751-842 (2001). MSC: 68T15 68T20 PDFBibTeX XMLCite \textit{A. Bockmayr} and \textit{V. Weispfenning}, in: Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; Cambridge, MA: MIT Press. 751--842 (2001; Zbl 1011.68127)
Cárdenas Viedma, M. A.; Marín Morales, R.; Navarrete Sánchez, I. Fuzzy temporal constraint logic: A valid resolution principle. (English) Zbl 0984.03021 Fuzzy Sets Syst. 117, No. 2, 231-250 (2001). MSC: 03B52 68T37 68N17 92C50 PDFBibTeX XMLCite \textit{M. A. Cárdenas Viedma} et al., Fuzzy Sets Syst. 117, No. 2, 231--250 (2001; Zbl 0984.03021) Full Text: DOI
Kaufmann, Matt; Moore, J. Strother Structured theory development for a mechanized logic. (English) Zbl 0971.03017 J. Autom. Reasoning 26, No. 2, 161-203 (2001). Reviewer: N.Ţăndăreanu (Craiova) MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{M. Kaufmann} and \textit{J. S. Moore}, J. Autom. Reasoning 26, No. 2, 161--203 (2001; Zbl 0971.03017) Full Text: DOI
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco A necessary condition for constructive negation in constraint logic programming. (English) Zbl 1339.68035 Inf. Process. Lett. 74, No. 3-4, 147-156 (2000). MSC: 68N17 68T15 PDFBibTeX XMLCite \textit{A. Dovier} et al., Inf. Process. Lett. 74, No. 3--4, 147--156 (2000; Zbl 1339.68035) Full Text: DOI Link
Génisson, Richard; Jégou, Philippe On the relations between SAT and CSP enumerative algorithms. (English) Zbl 0965.03015 Discrete Appl. Math. 107, No. 1-3, 27-40 (2000). MSC: 03B35 68T15 68Q25 PDFBibTeX XMLCite \textit{R. Génisson} and \textit{P. Jégou}, Discrete Appl. Math. 107, No. 1--3, 27--40 (2000; Zbl 0965.03015) Full Text: DOI
Armando, Alessandro; Ranise, Silvio Termination of constraint contextual rewriting. (English) Zbl 0971.68140 Kirchner, Hélène (ed.) et al., Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1794, 47-61 (2000). MSC: 68T15 68Q42 PDFBibTeX XMLCite \textit{A. Armando} and \textit{S. Ranise}, Lect. Notes Comput. Sci. 1794, 47--61 (2000; Zbl 0971.68140)
Melis, Erica; Sorge, Volker Employing external reasoners in proof planning. (English) Zbl 0958.68152 Armando, Alessandro (ed.) et al., Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 23,3, 11 p., electronic only (1999). MSC: 68T15 PDFBibTeX XMLCite \textit{E. Melis} and \textit{V. Sorge}, in: Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999. Amsterdam: Elsevier. 11 p. (1999; Zbl 0958.68152)
Melis, E.; Siekmann, J. Knowledge-based proof planning. (English) Zbl 0939.68822 Artif. Intell. 115, No. 1, 65-105 (1999). MSC: 68T15 PDFBibTeX XMLCite \textit{E. Melis} and \textit{J. Siekmann}, Artif. Intell. 115, No. 1, 65--105 (1999; Zbl 0939.68822) Full Text: DOI
Yang, Lu; Hou, Xiaorong; Xia, Bican Automated discovering and proving for geometric inequalities. (English) Zbl 0947.03017 Gao, Xiao-Shan (ed.) et al., Automated deduction in geometry. 2nd international workshop, ADG ’98, Beijing, China, August 1-3, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1669, 30-46 (1999). MSC: 03B35 68T15 51-04 PDFBibTeX XMLCite \textit{L. Yang} et al., Lect. Notes Comput. Sci. 1669, 30--46 (1999; Zbl 0947.03017)
Bouhineau, Denis; Trilling, Laurent; Cohen, Jacques An application of CLP: Checking the correctness of theorems in geometry. (English) Zbl 0951.68146 Constraints 4, No. 4, 383-405 (1999). MSC: 68T15 68N17 PDFBibTeX XMLCite \textit{D. Bouhineau} et al., Constraints 4, No. 4, 383--405 (1999; Zbl 0951.68146) Full Text: DOI
Shi, Zhongzhi; Liao, Lejian Polynomial algorithm of limited propositional deduction. (English) Zbl 0938.03021 Sci. China, Ser. E 42, No. 4, 418-424 (1999). MSC: 03B35 68T15 03B05 68Q25 PDFBibTeX XMLCite \textit{Z. Shi} and \textit{L. Liao}, Sci. China, Ser. E 42, No. 4, 418--424 (1999; Zbl 0938.03021) Full Text: DOI
Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger Confluence and semantics of constraint simplification rules. (English) Zbl 0951.68070 Constraints 4, No. 2, 133-165 (1999). MSC: 68Q45 68Q55 68T15 PDFBibTeX XMLCite \textit{S. Abdennadher} et al., Constraints 4, No. 2, 133--165 (1999; Zbl 0951.68070) Full Text: DOI
Stolzenburg, Frieder; Thomas, Bernd Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints. (English) Zbl 0972.68144 Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. III: Applications. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 10, 243-264 (1998). MSC: 68T15 68N17 68U99 PDFBibTeX XMLCite \textit{F. Stolzenburg} and \textit{B. Thomas}, Appl. Log. Ser. 10, 243--264 (1998; Zbl 0972.68144)
Kambhampati, Subbarao On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning. (English) Zbl 0909.68139 Artif. Intell. 105, No. 1-2, 161-208 (1998). MSC: 68T05 PDFBibTeX XMLCite \textit{S. Kambhampati}, Artif. Intell. 105, No. 1--2, 161--208 (1998; Zbl 0909.68139) Full Text: DOI
Rodríguez, Rita V.; Anger, Frank D. Using constraint propagation to reason about unsynchronized clocks. (English) Zbl 0911.68185 Constraints 3, No. 2-3, 191-202 (1998). MSC: 68T15 PDFBibTeX XMLCite \textit{R. V. Rodríguez} and \textit{F. D. Anger}, Constraints 3, No. 2--3, 191--202 (1998; Zbl 0911.68185) Full Text: DOI
Weispfenning, V. Quantifier elimination for real algebra – the quadratic case and beyond. (English) Zbl 0867.03003 Appl. Algebra Eng. Commun. Comput. 8, No. 2, 85-101 (1997). MSC: 03B35 03C10 68T15 68W30 68Q25 PDFBibTeX XMLCite \textit{V. Weispfenning}, Appl. Algebra Eng. Commun. Comput. 8, No. 2, 85--101 (1997; Zbl 0867.03003) Full Text: DOI
Zhang, Hantao SATO: an efficient propositional prover. (English) Zbl 1430.68427 McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 272-275 (1997). MSC: 68V15 PDFBibTeX XMLCite \textit{H. Zhang}, Lect. Notes Comput. Sci. 1249, 272--275 (1997; Zbl 1430.68427) Full Text: DOI
Wijesekera, Duminda; Ganesh, M.; Srivastava, Jaideep; Nerode, Anil Tableaux for functional dependencies and independencies. (English) Zbl 1412.68056 Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 358-372 (1997). MSC: 68P15 03B35 03B70 68T15 PDFBibTeX XMLCite \textit{D. Wijesekera} et al., Lect. Notes Comput. Sci. 1227, 358--372 (1997; Zbl 1412.68056) Full Text: DOI
Peltier, Nicolas Simplifying and generalizing formulae in tableaux. Pruning the search space and building models. (English) Zbl 1412.68253 Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 313-327 (1997). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{N. Peltier}, Lect. Notes Comput. Sci. 1227, 313--327 (1997; Zbl 1412.68253) Full Text: DOI
Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki MGTP: a model generation theorem prover. Its advanced features and applications. (English) Zbl 1412.68232 Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 1-15 (1997). MSC: 68T15 PDFBibTeX XMLCite \textit{R. Hasegawa} et al., Lect. Notes Comput. Sci. 1227, 1--15 (1997; Zbl 1412.68232) Full Text: DOI
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca Semiring-based constraint satisfaction and optimization. (English) Zbl 0890.68032 J. ACM 44, No. 2, 201-236 (1997). MSC: 68N17 68T15 PDFBibTeX XMLCite \textit{S. Bistarelli} et al., J. ACM 44, No. 2, 201--236 (1997; Zbl 0890.68032) Full Text: DOI Link
Kautz, Henry; Selman, Bart; Jiang, Yueyen A general stochastic approach to solving problems with hard and soft constraints. (English) Zbl 0891.68100 Du, Dingzhu (ed.) et al., Satisfiability problem: theory and applications. DIMACS workshop, Piscataway, NJ, USA, March 11-13, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 573-586 (1997). MSC: 68T20 90B18 90C09 68R05 68R10 68T15 PDFBibTeX XMLCite \textit{H. Kautz} et al., DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 573--586 (1997; Zbl 0891.68100)
Van Emden, M. H. Value constraints in the CLP scheme. (English) Zbl 0888.68034 Constraints 2, No. 2, 163-183 (1997). MSC: 68N17 68T15 PDFBibTeX XMLCite \textit{M. H. Van Emden}, Constraints 2, No. 2, 163--183 (1997; Zbl 0888.68034) Full Text: DOI
Cleary, John G. Constructive negation of arithmetic constraints using dataflow graphs. (English) Zbl 0889.68024 Constraints 2, No. 2, 131-162 (1997). MSC: 68N17 68T15 PDFBibTeX XMLCite \textit{J. G. Cleary}, Constraints 2, No. 2, 131--162 (1997; Zbl 0889.68024) Full Text: DOI
Purdom, Paul Walton jun.; Haven, G. Neil Probe order backtracking. (English) Zbl 0870.68134 SIAM J. Comput. 26, No. 2, 456-483 (1997). MSC: 68T15 68Q25 68W10 03B05 05A16 PDFBibTeX XMLCite \textit{P. W. Purdom jun.} and \textit{G. N. Haven}, SIAM J. Comput. 26, No. 2, 456--483 (1997; Zbl 0870.68134) Full Text: DOI
Nieuwenhuis, Robert; Rubio, Albert Theorem proving with ordering and equality constrained clauses. (English) Zbl 0844.68107 J. Symb. Comput. 19, No. 4, 321-351 (1995). MSC: 68T15 PDFBibTeX XMLCite \textit{R. Nieuwenhuis} and \textit{A. Rubio}, J. Symb. Comput. 19, No. 4, 321--351 (1995; Zbl 0844.68107) Full Text: DOI Link
Hähnle, Reiner Many-valued logic and mixed integer programming. (English) Zbl 0856.03011 Ann. Math. Artif. Intell. 12, No. 3-4, 231-263 (1994). MSC: 03B35 03B50 68T15 03B05 90C10 68Q25 03D15 PDFBibTeX XMLCite \textit{R. Hähnle}, Ann. Math. Artif. Intell. 12, No. 3--4, 231--263 (1994; Zbl 0856.03011) Full Text: DOI
Pesch, Erwin; Drexl, Andreas; Kolen, Antoon Model-based inference in CHARME. (Modellbasierte Inferenz in CHARME.) (German. English summary) Zbl 0938.68821 OR Spektrum 16, No. 3, 193-202 (1994). MSC: 68T15 PDFBibTeX XMLCite \textit{E. Pesch} et al., OR Spektrum 16, No. 3, 193--202 (1994; Zbl 0938.68821) Full Text: DOI
Kirchner, Hélène; Ringeissen, Christophe Combining symbolic constraint solvers on algebraic domains. (English) Zbl 0819.68111 J. Symb. Comput. 18, No. 2, 113-155 (1994). MSC: 68T15 68W30 68N17 PDFBibTeX XMLCite \textit{H. Kirchner} and \textit{C. Ringeissen}, J. Symb. Comput. 18, No. 2, 113--155 (1994; Zbl 0819.68111) Full Text: DOI Link
Bachmair, Leo; Ganzinger, Harald; Waldmann, Uwe Refutational theorem proving for hierarchic first-order theories. (English) Zbl 0797.03008 Appl. Algebra Eng. Commun. Comput. 5, No. 3-4, 193-212 (1994). MSC: 03B35 68T15 68Q42 68Q65 PDFBibTeX XMLCite \textit{L. Bachmair} et al., Appl. Algebra Eng. Commun. Comput. 5, No. 3--4, 193--212 (1994; Zbl 0797.03008) Full Text: DOI
Santos, Eugene jun. Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction. (English) Zbl 0802.68141 J. Exp. Theor. Artif. Intell. 5, No. 4, 359-390 (1993). MSC: 68T15 PDFBibTeX XMLCite \textit{E. Santos jun.}, J. Exp. Theor. Artif. Intell. 5, No. 4, 359--390 (1993; Zbl 0802.68141) Full Text: DOI
Panitz, Sven Eric Default reasoning with a constraint resolution principle. (English) Zbl 0793.68146 Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 265-276 (1993). MSC: 68T27 PDFBibTeX XMLCite \textit{S. E. Panitz}, Lect. Notes Comput. Sci. 698, 265--276 (1993; Zbl 0793.68146)
Corsini, Marc-Michel; Griffault, Alain; Rauzy, Antoine Yet another application for Toupie: Verification of mutual exclusion algorithms. (English) Zbl 0793.68029 Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 86-97 (1993). MSC: 68N17 68T15 68Q85 PDFBibTeX XMLCite \textit{M.-M. Corsini} et al., Lect. Notes Comput. Sci. 698, 86--97 (1993; Zbl 0793.68029)
Barth, Peter Linear \(0-1\) inequalities and extended clauses. (English) Zbl 0793.68025 Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 40-51 (1993). MSC: 68N17 90C10 68T15 PDFBibTeX XMLCite \textit{P. Barth}, Lect. Notes Comput. Sci. 698, 40--51 (1993; Zbl 0793.68025)
Bennaceur, Hachemi; Plateau, Gérard An exact algorithm for the constraint satisfaction problem: Application to logical inference. (English) Zbl 0788.90054 Inf. Process. Lett. 48, No. 3, 151-158 (1993). MSC: 90C10 68T15 90C90 PDFBibTeX XMLCite \textit{H. Bennaceur} and \textit{G. Plateau}, Inf. Process. Lett. 48, No. 3, 151--158 (1993; Zbl 0788.90054) Full Text: DOI
Imbert, Jean-Louis Variable elimination for disequations in generalized linear constraint systems. (English) Zbl 0797.68142 Comput. J. 36, No. 5, 473-484 (1993). MSC: 68T15 03C10 PDFBibTeX XMLCite \textit{J.-L. Imbert}, Comput. J. 36, No. 5, 473--484 (1993; Zbl 0797.68142) Full Text: DOI
Dechter, Rina From local to global consistency. (English) Zbl 0762.68053 Artif. Intell. 55, No. 1, 87-107 (1992). MSC: 68T15 68T30 68T35 PDFBibTeX XMLCite \textit{R. Dechter}, Artif. Intell. 55, No. 1, 87--107 (1992; Zbl 0762.68053) Full Text: DOI
Yang, Qiang A theory of conflict resolution in planning. (English) Zbl 0782.68107 Artif. Intell. 58, No. 1-3, 361-392 (1992). MSC: 68T20 PDFBibTeX XMLCite \textit{Q. Yang}, Artif. Intell. 58, No. 1--3, 361--392 (1992; Zbl 0782.68107) Full Text: DOI
van Beek, Peter Reasoning about qualitative temporal information. (English) Zbl 0782.68106 Artif. Intell. 58, No. 1-3, 297-326 (1992). MSC: 68T15 PDFBibTeX XMLCite \textit{P. van Beek}, Artif. Intell. 58, No. 1--3, 297--326 (1992; Zbl 0782.68106) Full Text: DOI
Hyvönen, Eero Constraint reasoning based on interval arithmetic: The tolerance propagation approach. (English) Zbl 0782.68102 Artif. Intell. 58, No. 1-3, 71-112 (1992). MSC: 68T15 90C27 PDFBibTeX XMLCite \textit{E. Hyvönen}, Artif. Intell. 58, No. 1--3, 71--112 (1992; Zbl 0782.68102) Full Text: DOI
Constantini, Stefania (ed.) 7th conference on logic programming. GULP ’92. (ATTI. Settimo convegno sulla programmazione logica. GULP ’92. Lago di Como, Italy, 17-19 Juni 1992.) (Italian, English) Zbl 0817.68048 Milano: Città Studi. XII, 516 p. (1992). MSC: 68N17 68T15 00B25 68-06 PDFBibTeX XMLCite \textit{S. Constantini} (ed.), ATTI. Settimo convegno sulla programmazione logica. GULP '92. Lago di Como, Italy, 17-19 Juni 1992 (Italian). Milano: Città Studi (1992; Zbl 0817.68048)