×

zbMATH — the first resource for mathematics

Found 213 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
da Costa Vieira Rezende, Josiane; Souza, Marcone Jamilson Freitas; Coelho, Vitor Nazário; Martins, Alexandre Xavier
HMS: a hybrid multi-start algorithm for solving binary linear programs. (English) Zbl 1408.90335
Coelho, Vitor Nazário (ed.) et al., Selected short papers of the 5th international conference on variable neighborhood search (ICVNS’17), Ouro Preto, Brazil, 2–4, 2017. Amsterdam: Elsevier. Electron. Notes Discrete Math. 66, 7-14 (2018).
MSC:  90C59 90C09
PDF BibTeX XML Cite
\textit{J. da Costa Vieira Rezende} et al., Electron. Notes Discrete Math. 66, 7--14 (2018; Zbl 1408.90335)
Full Text: DOI
Kučera, Petr; Savický, Petr; Vorel, Vojtěch
A lower bound on CNF encodings of the at-most-one constraint. (English) Zbl 1417.68198
Gaspers, Serge (ed.) et al., Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10491, 412-428 (2017).
MSC:  68T20 68Q17
PDF BibTeX XML Cite
\textit{P. Kučera} et al., Lect. Notes Comput. Sci. 10491, 412--428 (2017; Zbl 1417.68198)
Full Text: DOI
Mézard, Marc
Cavity method: message-passing from a physics perspective. (English) Zbl 1401.82048
Krzakala, Florent (ed.) et al., Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 – October 11, 2013. Oxford: Oxford University Press (ISBN 978-0-19-874373-6/hbk). 95-125 (2016).
MSC:  82D30 05C90 60K35 62H99
PDF BibTeX XML Cite
\textit{M. Mézard}, in: Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 -- October 11, 2013. Oxford: Oxford University Press. 95--125 (2016; Zbl 1401.82048)
Full Text: DOI
Zaki, Amira; Abdennadher, Slim; Frühwirth, Thom
Combining forward and backward propagation. (English) Zbl 06688822
Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24245-3/pbk; 978-3-319-24246-0/ebook). Lecture Notes in Computer Science 9322. Lecture Notes in Artificial Intelligence, 307-322 (2015).
MSC:  68T
PDF BibTeX XML Cite
\textit{A. Zaki} et al., Lect. Notes Comput. Sci. 9322, 307--322 (2015; Zbl 06688822)
Full Text: DOI
Ding, Jian; Sly, Allan; Sun, Nike
Proof of the satisfiability conjecture for large \(k\). (English) Zbl 1321.68304
Proceedings of the 47th annual ACM symposium on theory of computing, STOC ’15, Portland, OR, USA, June 14–17, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3536-2). 59-68 (2015).
MSC:  68Q25
PDF BibTeX XML Cite
\textit{J. Ding} et al., in: Proceedings of the 47th annual ACM symposium on theory of computing, STOC '15, Portland, OR, USA, June 14--17, 2015. New York, NY: Association for Computing Machinery (ACM). 59--68 (2015; Zbl 1321.68304)
Full Text: DOI arXiv
Ding, Jian; Sly, Allan; Sun, Nike
Satisfiability threshold for random regular NAE-SAT. (English) Zbl 1315.68148
Proceedings of the 46th annual ACM symposium on theory of computing, STOC ’14, New York, NY, USA, May 31 – June 3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2710-7). 814-822 (2014).
MSC:  68Q25 68Q17 68Q87
PDF BibTeX XML Cite
\textit{J. Ding} et al., in: Proceedings of the 46th annual ACM symposium on theory of computing, STOC '14, New York, NY, USA, May 31 -- June 3, 2014. New York, NY: Association for Computing Machinery (ACM). 814--822 (2014; Zbl 1315.68148)
Full Text: DOI arXiv
Schichl, Hermann; Neumaier, Arnold; Markót, Mihály Csaba; Domes, Ferenc
On solving mixed-integer constraint satisfaction problems with unbounded variables. (English) Zbl 1382.90067
Gomes, Carla (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 10th international conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18–22, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38170-6/pbk). Lecture Notes in Computer Science 7874, 216-233 (2013).
MSC:  90C11 68T20 90C27
PDF BibTeX XML Cite
\textit{H. Schichl} et al., Lect. Notes Comput. Sci. 7874, 216--233 (2013; Zbl 1382.90067)
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
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
PDF BibTeX XML Cite
\textit{C. Drescher} and \textit{T. Walsh}, LIPIcs -- Leibniz Int. Proc. Inform. 17, 188--200 (2012; Zbl 1281.68178)
Full Text: DOI
Berthold, Timo; Heinz, Stefan; Vigerske, Stefan
Extending a CIP framework to solve MIQCPs. (English) Zbl 1242.90120
Lee, Jon (ed.) et al., Mixed integer nonlinear programming. Selected papers based on the presentations at the IMA workshop mixed-integer nonlinear optimization: Algorithmic advances and applications, Minneapolis, MN, USA, November 17–21, 2008. New York, NY: Springer (ISBN 978-1-4614-1926-6/hbk; 978-1-4614-1927-3/ebook). The IMA Volumes in Mathematics and its Applications 154, 427-444 (2012).
MSC:  90C11 90C20 90C26 90C27 90C57
PDF BibTeX XML Cite
\textit{T. Berthold} et al., IMA Vol. Math. Appl. 154, 427--444 (2012; Zbl 1242.90120)
Full Text: DOI
Gay, David M.
Using expression graphs in optimization algorithms. (English) Zbl 1242.90131
Lee, Jon (ed.) et al., Mixed integer nonlinear programming. Selected papers based on the presentations at the IMA workshop mixed-integer nonlinear optimization: Algorithmic advances and applications, Minneapolis, MN, USA, November 17–21, 2008. New York, NY: Springer (ISBN 978-1-4614-1926-6/hbk; 978-1-4614-1927-3/ebook). The IMA Volumes in Mathematics and its Applications 154, 247-262 (2012).
MSC:  90C11 68R10 68U01 68N20 68W30 05C85
PDF BibTeX XML Cite
\textit{D. M. Gay}, IMA Vol. Math. Appl. 154, 247--262 (2012; Zbl 1242.90131)
Full Text: DOI
Boussemart, Frédéric; Hemery, Fred; Lecoutre, Christophe; Modeliar, Mouny Samy
Efficient constraint propagation for graph coloring. (English) Zbl 1268.68149
Bonomo, Flavia (ed.) et al., LAGOS’11 – VI Latin-American algorithms, graphs, and optimization symposium. Extended abstracts from the symposium, Bariloche, Argentina, March 28–April 1, 2011. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 37, 243-248 (2011).
MSC:  68T20 05C15 05C85
PDF BibTeX XML Cite
\textit{F. Boussemart} et al., Electron. Notes Discrete Math. 37, 243--248 (2011; Zbl 1268.68149)
Full Text: DOI
Vilím, Petr
Timetable edge finding filtering algorithm for discrete cumulative resources. (English) Zbl 1302.90090
Achterberg, Tobias (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 8th international conference, CPAIOR 2011, Berlin, Germany, May 23–27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21310-6/pbk). Lecture Notes in Computer Science 6697, 230-245 (2011).
MSC:  90B35 68T20
PDF BibTeX XML Cite
\textit{P. Vilím}, Lect. Notes Comput. Sci. 6697, 230--245 (2011; Zbl 1302.90090)
Full Text: DOI
Chrétienne, Philippe; Picouleau, Christophe
Scheduling problems. (English) Zbl 1203.90063
Paschos, Vangelis Th., Combinatorial optimization. Volume 2: Paradigms of combinatorial optimization. Problems and new approaches. London: ISTE; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-84821-148-3/hbk; 978-1-84821-146-9/set). 33-59 (2010).
MSC:  90B35 90C05 90C27
PDF BibTeX XML Cite
\textit{P. Chrétienne} and \textit{C. Picouleau}, in: Combinatorial optimization. Volume 2: Paradigms of combinatorial optimization. Problems and new approaches. London: ISTE; Hoboken, NJ: John Wiley \& Sons. 33--59 (2010; Zbl 1203.90063)
Viegas, Ruben Duarte; Azevedo, Francisco
Lazy constraint imposing for improving the path constraint. (English) Zbl 1291.68380
Corradini, Andrea (ed.), Proceedings of the 5th international workshop on computing with terms and graphs (TERMGRAPH 2009), York, UK, March 22, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 253, No. 4, 113-128 (2009).
MSC:  68T20 68R10 92C40
PDF BibTeX XML Cite
\textit{R. D. Viegas} and \textit{F. Azevedo}, Electron. Notes Theor. Comput. Sci. 253, No. 4, 113--128 (2009; Zbl 1291.68380)
Full Text: DOI
Vilím, Petr
Max energy filtering algorithm for discrete cumulative resources. (English) Zbl 1241.90125
van Hoeve, Willem-Jan (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27–31, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01928-9/pbk). Lecture Notes in Computer Science 5547, 294-308 (2009).
MSC:  90C27 90B35
PDF BibTeX XML Cite
\textit{P. Vilím}, Lect. Notes Comput. Sci. 5547, 294--308 (2009; Zbl 1241.90125)
Full Text: DOI
Dib, Mohammad; Mabed, Hakim; Caminada, Alexandre
Constraint propagation with tabu list for min-span frequency assignment problem. (English) Zbl 1160.90515
Le Thi, Hoai An (ed.) et al., Modelling, computation and optimization in information systems and management sciences. Second international conference MCO 2008, Metz, France - Luxembourg, September 8–10, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87476-8/pbk). Communications in Computer and Information Science 14, 97-106 (2008).
MSC:  90B50
PDF BibTeX XML Cite
\textit{M. Dib} et al., Commun. Comput. Inf. Sci. 14, 97--106 (2008; Zbl 1160.90515)
Full Text: DOI
Di Loreto, Michael; Dao, Massa; Jaulin, Luc; Lafay, Jean-François; Loiseau, Jean Jacques
Applied interval computation: A new approach for time-delays systems analysis. (English) Zbl 1246.93060
Chiasson, John (ed.) et al., Applications of time delay systems. Berlin: Springer (ISBN 978-3-540-49555-0/pbk). Lecture Notes in Control and Information Sciences 352, 175-197 (2007).
MSC:  93C05 93C15 65G40
PDF BibTeX XML Cite
\textit{M. Di Loreto} et al., Lect. Notes Control Inf. Sci. 352, 175--197 (2007; Zbl 1246.93060)
Full Text: DOI

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