×

zbMATH — the first resource for mathematics

Found 124 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Davarnia, Danial; Hooker, J. N.
Consistency for \(0-1\) programming. (English) Zbl 07116696
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 (ISBN 978-3-030-19211-2/pbk; 978-3-030-19212-9/ebook). Lecture Notes in Computer Science 11494, 225-240 (2019).
MSC:  68T20 90C27
PDF BibTeX XML Cite
\textit{D. Davarnia} and \textit{J. N. Hooker}, Lect. Notes Comput. Sci. 11494, 225--240 (2019; Zbl 07116696)
Full Text: DOI
Ambainis, Andris; Kokainis, Martins
Quantum algorithm for tree size estimation, with applications to backtracking and 2-player games. (English) Zbl 1369.68210
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 989-1002 (2017).
MSC:  68Q12 68P05 68P10 91A05
PDF BibTeX XML Cite
\textit{A. Ambainis} and \textit{M. Kokainis}, in: Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC '17, Montreal, QC, Canada, June 19--23, 2017. New York, NY: Association for Computing Machinery (ACM). 989--1002 (2017; Zbl 1369.68210)
Full Text: DOI
Fan, Zhou; Montanari, Andrea
How well do local algorithms solve semidefinite programs? (English) Zbl 1369.90118
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 604-614 (2017).
MSC:  90C22 05C80 68T20 90C59
PDF BibTeX XML Cite
\textit{Z. Fan} and \textit{A. Montanari}, in: Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC '17, Montreal, QC, Canada, June 19--23, 2017. New York, NY: Association for Computing Machinery (ACM). 604--614 (2017; Zbl 1369.90118)
Full Text: DOI arXiv
Noll, Dominikus; Rondepierre, Aude
Convergence of linesearch and trust-region methods using the Kurdyka-Łojasiewicz inequality. (English) Zbl 1283.65061
Bailey, David H. (ed.) et al., Computational and analytical mathematics. In Honor of Jonathan Borwein’s 60th birthday. Selected papers based on the presentations at the workshop, also known as JonFest, Simon Fraser University, BC, Canada, May 16–20, 2011. New York, NY: Springer (ISBN 978-1-4614-7620-7/hbk; 978-1-4614-7621-4/ebook). Springer Proceedings in Mathematics & Statistics 50, 593-611 (2013).
MSC:  65K05 90C30 90C51
PDF BibTeX XML Cite
\textit{D. Noll} and \textit{A. Rondepierre}, in: Computational and analytical mathematics. In Honor of Jonathan Borwein's 60th birthday. Selected papers based on the presentations at the workshop, also known as JonFest, Simon Fraser University, BC, Canada, May 16--20, 2011. New York, NY: Springer. 593--611 (2013; Zbl 1283.65061)
Full Text: DOI arXiv
Jiang, Chuan; Zhang, Ting
Partial backtracking in CDCL solvers. (English) Zbl 1407.68455
McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 490-502 (2013).
MSC:  68T20
PDF BibTeX XML Cite
\textit{C. Jiang} and \textit{T. Zhang}, Lect. Notes Comput. Sci. 8312, 490--502 (2013; Zbl 1407.68455)
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
PDF BibTeX XML Cite
\textit{H. Zhang} and \textit{J. Zhang}, Lect. Notes Comput. Sci. 7788, 101--130 (2013; Zbl 1383.68083)
Full Text: DOI
Kósa, Márk; Pánovics, János
Search algorithms at ACM contests. (English) Zbl 1183.68722
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 367-375 (2009).
MSC:  68W05 68P10
PDF BibTeX XML Cite
\textit{M. Kósa} and \textit{J. Pánovics}, in: Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28--31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 367--375 (2009; Zbl 1183.68722)
Kaski, Petteri; Östergård, Patric R. J.
Classification algorithms for codes and designs. (English) Zbl 1089.05001
Algorithms and Computation in Mathematics 15. Berlin: Springer (ISBN 3-540-28990-9/hbk). xii, 412 p. with CD-ROM. (2006).
Reviewer: Peter B. Gibbons (Auckland)
MSC:  05-02 68-02 68Rxx 94-02 94Bxx 05Bxx 05Cxx 05E20 51Exx
PDF BibTeX XML Cite
\textit{P. Kaski} and \textit{P. R. J. Östergård}, Classification algorithms for codes and designs. Berlin: Springer (2006; Zbl 1089.05001)
Full Text: DOI
Ó Nualláin, Breanndán; de Rijke, Maarten; van Benthem, Johan
Ensemble-based prediction of SAT search behaviour. (English) Zbl 0990.90536
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 90B40
PDF BibTeX XML Cite
\textit{B. Ó Nualláin} et al., Electron. Notes Discrete Math. 9, no pag. (2001; Zbl 0990.90536)
Lynce, Inês; Baptista, Luís; Marques-Silva, João
Stochastic systematic search algorithms for satisfiability. (English) Zbl 0990.90554
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 90B40
PDF BibTeX XML Cite
\textit{I. Lynce} et al., Electron. Notes Discrete Math. 9, no pag. (2001; Zbl 0990.90554)
Purdom, Paul Walton; Haven, G. Neil
Backtracking and probing. (English) Zbl 0887.68019
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, 153-209 (1997).
MSC:  68P10 68W10 68T20
PDF BibTeX XML Cite
\textit{P. W. Purdom} and \textit{G. N. Haven}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 153--209 (1997; Zbl 0887.68019)
Al-Mahmeed, Ahemd S.
Tabu search, combination and integration. (English) Zbl 0877.90036
Osman, Ibrahim H. (ed.) et al., Meta-heuristics: theory and applications. International conference (MIC), Breckenridge, CO, USA, 22–26 July 1995. Dordrecht: Kluwer Academic Publishers. 319-330 (1996).
MSC:  90B18 68T05
PDF BibTeX XML Cite
\textit{A. S. Al-Mahmeed}, in: Meta-heuristics: theory and applications. International conference (MIC), Breckenridge, CO, USA, 22--26 July 1995. Dordrecht: Kluwer Academic Publishers. 319--330 (1996; Zbl 0877.90036)
Lam, Clement W. H.
Application of group theory to combinatorial searches. (English) Zbl 0833.05023
Finkelstein, Larry (ed.) et al., Groups and computation. Papers from the workshop held at DIMACS, Rutgers University, New Brunswick, NJ (USA), October 7-10, 1991. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 11, 133-138 (1993).
Reviewer: A.Bonisoli (Potenza)
MSC:  05B99 20B25 68R05 05B25 20B40
PDF BibTeX XML Cite
\textit{C. W. H. Lam}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 11, 133--138 (1993; Zbl 0833.05023)
McDiarmid, C. J. H.; Provan, G. M. A.
An expected-cost analysis of backtracking and non-backtracking algorithms. (English) Zbl 0745.68108
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 172-177 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T20 68P10
PDF BibTeX XML Cite
\textit{C. J. H. McDiarmid} and \textit{G. M. A. Provan}, in: IJCAI 91, Proceedings of the 12th International Conference on Artificial Intelligence. Sydney, Australia, 24-30 August 1991. Vol. 1-2. San Mateo, CA: Morgan Kaufmann Publ.. 172--177 (1991; Zbl 0745.68108)
Kuznetsov, V. E.
Computer representation of nonformal procedures. (Predstavlenie v EhVM neformal’nykh protsedur). With an epilog by D. A. Pospelov. With an afterword by D. A. Pospelov. (Predstavlenie v EhVM neformal’nykh protsedur.) (Russian) Zbl 0707.68084
Problemy Iskusstvennogo Intellekta, 15. Moskva: Nauka. 160 p. R. 0.65 (1989).
Reviewer: S.Vorobév
MSC:  68T30 68T15 03B35 68-02
PDF BibTeX XML Cite
\textit{V. E. Kuznetsov}, Predstavlenie v EhVM neformal'nykh protsedur (Russian). With an afterword by D. A. Pospelov. Moskva: Nauka (1989; Zbl 0707.68084)

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software