Korneev, Svyatoslav; Narodytska, Nina; Pulina, Luca; Tacchella, Armando; Bjorner, Nikolaj; Sagiv, Mooly Constrained image generation using binarized neural networks with decision procedures. (English) Zbl 1511.68297 Beyersdorff, Olaf (ed.) et al., Theory and applications of satisfiability testing – SAT 2018. 21st international conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10929, 438-449 (2018). MSC: 68U10 68T05 68T20 PDFBibTeX XMLCite \textit{S. Korneev} et al., Lect. Notes Comput. Sci. 10929, 438--449 (2018; Zbl 1511.68297) Full Text: DOI arXiv
Bartocci, Claudio; Tacchella, Alberto Poisson-Nijenhuis structures on quiver path algebras. (English) Zbl 1383.16014 Lett. Math. Phys. 107, No. 7, 1265-1291 (2017). MSC: 16G20 53D17 70H06 PDFBibTeX XMLCite \textit{C. Bartocci} and \textit{A. Tacchella}, Lett. Math. Phys. 107, No. 7, 1265--1291 (2017; Zbl 1383.16014) Full Text: DOI arXiv
Tacchella, Alberto An introduction to associative geometry with applications to integrable systems. (English) Zbl 1382.16015 J. Geom. Phys. 118, 202-233 (2017). MSC: 16S10 16E45 14A22 14H70 16S38 46L87 PDFBibTeX XMLCite \textit{A. Tacchella}, J. Geom. Phys. 118, 202--233 (2017; Zbl 1382.16015) Full Text: DOI arXiv
Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows. (English) Zbl 1373.68380 Fundam. Inform. 149, No. 1-2, 133-158 (2016). MSC: 68T20 68Q17 PDFBibTeX XMLCite \textit{P. Marin} et al., Fundam. Inform. 149, No. 1--2, 133--158 (2016; Zbl 1373.68380) Full Text: DOI
Pathak, Shashank; Pulina, Luca; Tacchella, Armando Evaluating probabilistic model checking tools for verification of robot control policies. (English) Zbl 1373.68410 AI Commun. 29, No. 2, 287-299 (2016). MSC: 68T40 68Q60 PDFBibTeX XMLCite \textit{S. Pathak} et al., AI Commun. 29, No. 2, 287--299 (2016; Zbl 1373.68410) Full Text: DOI
Tacchella, Alberto On a family of quivers related to the Gibbons-Hermsen system. (English) Zbl 1330.58006 J. Geom. Phys. 93, 11-32 (2015). MSC: 58B34 14L30 16G20 PDFBibTeX XMLCite \textit{A. Tacchella}, J. Geom. Phys. 93, 11--32 (2015; Zbl 1330.58006) Full Text: DOI arXiv
Tacchella, A.; Cristelli, M.; Caldarelli, G.; Gabrielli, A.; Pietronero, L. Economic complexity: conceptual grounding of a new metrics for global competitiveness. (English) Zbl 1327.91053 J. Econ. Dyn. Control 37, No. 8, 1683-1691 (2013). MSC: 91B64 PDFBibTeX XMLCite \textit{A. Tacchella} et al., J. Econ. Dyn. Control 37, No. 8, 1683--1691 (2013; Zbl 1327.91053) Full Text: DOI
Mencattini, Igor; Tacchella, Alberto A note on the automorphism group of the Bielawski-Pidstrygach quiver. (English) Zbl 1384.37084 SIGMA, Symmetry Integrability Geom. Methods Appl. 9, Paper 037, 13 p. (2013). MSC: 37K10 16G20 53D05 58B34 14D21 PDFBibTeX XMLCite \textit{I. Mencattini} and \textit{A. Tacchella}, SIGMA, Symmetry Integrability Geom. Methods Appl. 9, Paper 037, 13 p. (2013; Zbl 1384.37084) Full Text: DOI arXiv
Pulina, Luca; Tacchella, Armando Challenging SMT solvers to verify neural networks. (English) Zbl 1248.68462 AI Commun. 25, No. 2, 117-135 (2012). MSC: 68T20 68T05 68Q60 PDFBibTeX XMLCite \textit{L. Pulina} and \textit{A. Tacchella}, AI Commun. 25, No. 2, 117--135 (2012; Zbl 1248.68462) Full Text: DOI
Pulina, Luca; Tacchella, Armando NeVer: a tool for artificial neural networks verification. (English) Zbl 1251.68143 Ann. Math. Artif. Intell. 62, No. 3-4, 403-425 (2011). MSC: 68Q60 68T05 PDFBibTeX XMLCite \textit{L. Pulina} and \textit{A. Tacchella}, Ann. Math. Artif. Intell. 62, No. 3--4, 403--425 (2011; Zbl 1251.68143) Full Text: DOI
Tacchella, Alberto On rational solutions of multicomponent and matrix KP hierarchies. (English) Zbl 1225.37081 J. Geom. Phys. 61, No. 8, 1319-1328 (2011). Reviewer: Chuan-Fu Yang (Nanjing) MSC: 37K10 35Q53 47G30 PDFBibTeX XMLCite \textit{A. Tacchella}, J. Geom. Phys. 61, No. 8, 1319--1328 (2011; Zbl 1225.37081) Full Text: DOI arXiv
Pulina, Luca; Tacchella, Armando An empirical study of QBF encodings: from treewidth estimation to useful preprocessing. (English) Zbl 1214.68370 Fundam. Inform. 102, No. 3-4, 391-427 (2010). MSC: 68T20 68T15 PDFBibTeX XMLCite \textit{L. Pulina} and \textit{A. Tacchella}, Fundam. Inform. 102, No. 3--4, 391--427 (2010; Zbl 1214.68370) Full Text: Link
Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Inês The seventh QBF solvers evaluation (QBFEVAL’10). (English) Zbl 1306.68173 Strichman, Ofer (ed.) et al., Theory and applications of satisfiability testing – SAT 2010. 13th international conference, SAT 2010, Edinburgh, UK, July 11–14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14185-0/pbk). Lecture Notes in Computer Science 6175, 237-250 (2010). MSC: 68T20 68T15 PDFBibTeX XMLCite \textit{C. Peschiera} et al., Lect. Notes Comput. Sci. 6175, 237--250 (2010; Zbl 1306.68173) Full Text: DOI
Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando Evaluating and certifying QBFs: a comparison of state-of-the-art tools. (English) Zbl 1186.68440 AI Commun. 22, No. 4, 191-210 (2009). MSC: 68T20 68Q60 PDFBibTeX XMLCite \textit{M. Narizzano} et al., AI Commun. 22, No. 4, 191--210 (2009; Zbl 1186.68440) Full Text: DOI
Pulina, Luca; Tacchella, Armando Learning to integrate deduction and search in reasoning about quantified Boolean formulas. (English) Zbl 1193.68214 Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 350-365 (2009). MSC: 68T05 68T15 68T20 PDFBibTeX XMLCite \textit{L. Pulina} and \textit{A. Tacchella}, Lect. Notes Comput. Sci. 5749, 350--365 (2009; Zbl 1193.68214) Full Text: DOI
Pulina, Luca; Tacchella, Armando A self-adaptive multi-engine solver for quantified Boolean formulas. (English) Zbl 1183.68589 Constraints 14, No. 1, 80-116 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{L. Pulina} and \textit{A. Tacchella}, Constraints 14, No. 1, 80--116 (2009; Zbl 1183.68589) Full Text: DOI
Pulina, Luca; Tacchella, Armando Treewidth: A useful marker of empirical hardness in quantified Boolean logic encodings. (English) Zbl 1182.68263 Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 528-542 (2008). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{L. Pulina} and \textit{A. Tacchella}, Lect. Notes Comput. Sci. 5330, 528--542 (2008; Zbl 1182.68263) Full Text: DOI
Giunchiglia, E.; Narizzano, M.; Tacchella, A. Clause/Term resolution and learning in the evaluation of quantified Boolean formulas. (English) Zbl 1183.68475 J. Artif. Intell. Res. (JAIR) 26, 371-416 (2006). MSC: 68T05 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., J. Artif. Intell. Res. (JAIR) 26, 371--416 (2006; Zbl 1183.68475) Full Text: arXiv
Narizzano, Massimo; Pulina, Luca; Tacchella, Armando Report of the third QBF solvers evaluation. (English) Zbl 1116.68089 J. Satisf. Boolean Model. Comput. 2, No. 1-4, 145-164 (2006). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Narizzano} et al., J. Satisf. Boolean Model. Comput. 2, No. 1--4, 145--164 (2006; Zbl 1116.68089)
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando SAT-based decision procedures for automated reasoning: A unifying perspective. (English) Zbl 1098.68693 Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 46-58 (2005). MSC: 68T15 03B35 68T20 PDFBibTeX XMLCite \textit{A. Armando} et al., Lect. Notes Comput. Sci. 2605, 46--58 (2005; Zbl 1098.68693) Full Text: DOI
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando QBF reasoning on real-world instances. (English) Zbl 1122.68596 Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 105-121 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Lect. Notes Comput. Sci. 3542, 105--121 (2005; Zbl 1122.68596) Full Text: DOI
Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando The second QBF solvers comparative evaluation. (English) Zbl 1122.68608 Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 376-392 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{D. Le Berre} et al., Lect. Notes Comput. Sci. 3542, 376--392 (2005; Zbl 1122.68608) Full Text: DOI
Le Berre, Daniel; Simon, Laurent; Tacchella, Armando Challenges in the QBF arena: The SAT’03 evaluation of QBF solvers. (English) Zbl 1204.68204 Giunchiglia, Enrico (ed.) et al., Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Berlin: Springer (ISBN 3-540-20851-8/pbk). Lect. Notes Comput. Sci. 2919, 468-485 (2004). MSC: 68T20 PDFBibTeX XMLCite \textit{D. Le Berre} et al., Lect. Notes Comput. Sci. 2919, 468--485 (2004; Zbl 1204.68204) Full Text: DOI
Gent, Ian; Giunchiglia, Enrico; Narizzano, Massimo; Rowley, Andrew; Tacchella, Armando Watched data structures for QBF solvers. (English) Zbl 1204.68195 Giunchiglia, Enrico (ed.) et al., Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Berlin: Springer (ISBN 3-540-20851-8/pbk). Lect. Notes Comput. Sci. 2919, 25-36 (2004). MSC: 68T20 68P05 PDFBibTeX XMLCite \textit{I. Gent} et al., Lect. Notes Comput. Sci. 2919, 25--36 (2004; Zbl 1204.68195) Full Text: DOI
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando Monotone literals and learning in QBF reasoning. (English) Zbl 1152.68554 Wallace, Mark (ed.), Principles and practice of constraint programming – CP 2004. 10th international conference, CP 2004, Toronto, Canada, September 27–October 1, 2004. Proceedings. Berlin: Springer (ISBN 978-3-540-23241-4/pbk). Lecture Notes in Computer Science 3258, 260-273 (2004). MSC: 68T20 68T05 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Lect. Notes Comput. Sci. 3258, 260--273 (2004; Zbl 1152.68554) Full Text: DOI
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando QuBE++: An efficient QBF solver. (English) Zbl 1117.68488 Hu, Alan J. (ed.) et al., Formal methods in computer-aided design. 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23738-0/pbk). Lecture Notes in Computer Science 3312, 201-213 (2004). MSC: 68T20 68T15 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Lect. Notes Comput. Sci. 3312, 201--213 (2004; Zbl 1117.68488) Full Text: DOI
Giunchiglia, Enrico (ed.); Tacchella, Armando (ed.) Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. (English) Zbl 1030.00034 Lecture Notes in Computer Science. 2919. Berlin: Springer. xi, 530 p. (2004). MSC: 00B25 68-06 68T20 68T15 PDFBibTeX XMLCite \textit{E. Giunchiglia} (ed.) and \textit{A. Tacchella} (ed.), Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5--8, 2003. Selected revised papers. Berlin: Springer (2004; Zbl 1030.00034) Full Text: DOI Link
Castellini, Claudio; Giunchiglia, Enrico; Tacchella, Armando SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. (English) Zbl 1082.68799 Artif. Intell. 147, No. 1-2, 85-117 (2003). MSC: 68T20 68T37 68Q85 PDFBibTeX XMLCite \textit{C. Castellini} et al., Artif. Intell. 147, No. 1--2, 85--117 (2003; Zbl 1082.68799) Full Text: DOI
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando Backjumping for quantified Boolean logic satisfiability. (English) Zbl 1082.68795 Artif. Intell. 145, No. 1-2, 99-120 (2003). MSC: 68T15 68Q25 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Artif. Intell. 145, No. 1--2, 99--120 (2003; Zbl 1082.68795) Full Text: DOI
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando Integrating BDD-based and SAT-based symbolic model checking. (English) Zbl 1057.68623 Armando, Alessandro (ed.), Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8–10, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43381-3). Lect. Notes Comput. Sci. 2309, 49-56 (2002). MSC: 68Q60 68T15 68W30 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 2309, 49--56 (2002; Zbl 1057.68623) Full Text: Link
Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando Dependent and independent variables in propositional satisfiability. (English) Zbl 1014.68528 Flesca, Sergio (ed.) et al., Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2424, 296-307 (2002). MSC: 68T15 68T20 68T27 03B05 03B35 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Lect. Notes Comput. Sci. 2424, 296--307 (2002; Zbl 1014.68528) Full Text: Link
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando NuSMV 2: An OpenSource tool for symbolic model checking. (English) Zbl 1010.68766 Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 359-364 (2002). MSC: 68U99 68Q60 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 2404, 359--364 (2002; Zbl 1010.68766) Full Text: Link
Giunchiglia, Enrico; Tacchella, Armando; Giunchiglia, Fausto SAT-based decision procedures for classical modal logics. (English) Zbl 1003.03011 J. Autom. Reasoning 28, No. 2, 143-171 (2002). MSC: 03B35 03B45 03B25 68T15 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., J. Autom. Reasoning 28, No. 2, 143--171 (2002; Zbl 1003.03011) Full Text: DOI
Giunchiglia, Enrico; Tacchella, Armando A subset-matching size-bounded cache for testing satisfiability in modal logics. (English) Zbl 1314.68279 Ann. Math. Artif. Intell. 33, No. 1, 39-67 (2001). MSC: 68T15 03B35 03B45 PDFBibTeX XMLCite \textit{E. Giunchiglia} and \textit{A. Tacchella}, Ann. Math. Artif. Intell. 33, No. 1, 39--67 (2001; Zbl 1314.68279) Full Text: DOI
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando An analysis of backjumping and trivial truth in quantified Boolean formulas satisfiability. (English) Zbl 1007.68577 Esposito, Floriana (ed.), AI*IA 2001: Advances in artificial intelligence. 7th congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2175, 111-122 (2001). MSC: 68T15 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Lect. Notes Comput. Sci. 2175, 111--122 (2001; Zbl 1007.68577) Full Text: Link
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando QUBE: A system for deciding quantified Boolean formulas satisfiability. (English) Zbl 0988.68598 Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 364-369 (2001). MSC: 68T15 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Lect. Notes Comput. Sci. 2083, 364--369 (2001; Zbl 0988.68598) Full Text: Link
Giunchiglia, Enrico; Maratea, Massimo; Tacchella, Armando; Zambonin, Davide Evaluating search heuristics and optimization techniques in propositional satisfiability. (English) Zbl 0988.68608 Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 347-363 (2001). MSC: 68T15 68T20 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Lect. Notes Comput. Sci. 2083, 347--363 (2001; Zbl 0988.68608) Full Text: Link
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando; Vardi, Moshe Y. Towards an efficient library for SAT: A manifesto. (English) Zbl 0990.90559 Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001). MSC: 90C27 90C59 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Electron. Notes Discrete Math. 9, no pag. (2001; Zbl 0990.90559)
Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando SAT vs. translation based decision procedures for modal logics: A comparative evaluation. (English) Zbl 1033.03500 J. Appl. Non-Class. Log. 10, No. 2, 145-172 (2000). MSC: 03B35 68T15 03B25 03B45 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., J. Appl. Non-Class. Log. 10, No. 2, 145--172 (2000; Zbl 1033.03500) Full Text: DOI
Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando SAT-based decision procedures for classical modal logics. (English) Zbl 0980.03010 Gent, Ian (ed.) et al., SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 63, 403-426 (2000). MSC: 03B35 03B45 03B25 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Front. Artif. Intell. Appl. 63, 403--426 (2000; Zbl 0980.03010)
Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; Tacchella, Armando Getting to the airport: The oldest planning problem in AI. (English) Zbl 0979.68099 Minker, Jack (ed.), Logic-based artificial intelligence. Proceedings of a workshop, Washington, DC, USA, June 1999. Dordrecht: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 597, 147-165 (2000). MSC: 68T27 68T20 PDFBibTeX XMLCite \textit{V. Lifschitz} et al., Kluwer Int. Ser. Eng. Comput. Sci. 597, 147--165 (2000; Zbl 0979.68099)
Giunchiglia, Enrico; Tacchella, Armando System description: *SAT. A platform for the development of modal decision procedures. (English) Zbl 0963.68538 McAllester, David (ed.), Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17-20, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1831, 291-296 (2000). MSC: 68T15 03B45 03B25 PDFBibTeX XMLCite \textit{E. Giunchiglia} and \textit{A. Tacchella}, Lect. Notes Comput. Sci. 1831, 291--296 (2000; Zbl 0963.68538)
Giunchiglia, Enrico; Tacchella, Armando A subset-matching size-bounded cache for satisfiability in modal logics. (English) Zbl 0963.68178 Dyckhoff, Roy (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3-7, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1847, 237-251 (2000). MSC: 68T15 03B45 PDFBibTeX XMLCite \textit{E. Giunchiglia} and \textit{A. Tacchella}, Lect. Notes Comput. Sci. 1847, 237--251 (2000; Zbl 0963.68178)
Tacchella, Armando Evaluating *SAT on TANCS 2000 benchmarks. (English) Zbl 0963.68520 Dyckhoff, Roy (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3-7, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1847, 77-81 (2000). MSC: 68T15 PDFBibTeX XMLCite \textit{A. Tacchella}, Lect. Notes Comput. Sci. 1847, 77--81 (2000; Zbl 0963.68520)
Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando The SAT-based approach for classical modal logics. (English) Zbl 0961.03015 Lamma, Evelina (ed.) et al., AI*IA 99: Advances in artificial intelligence. 6th congress of Italian Association for Artificial Intelligence. Bologna, Italy, September 14-17, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1792, 95-106 (2000). MSC: 03B35 03B45 68T15 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Lect. Notes Comput. Sci. 1792, 95--106 (2000; Zbl 0961.03015)