×

Found 36 Documents (Results 1–36)

Handling symmetries in mixed-integer semidefinite programs. (English) Zbl 07745653

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 69-78 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI

Computing maximum unavoidable subgraphs using SAT solvers. (English) Zbl 1475.68236

Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 196-211 (2016).
MSC:  68R10 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software