Devriendt, Jo; Gleixner, Ambros; Nordström, Jakob Learn to relax: integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. (English) Zbl 1524.68342 Constraints 26, No. 1-4, 26-55 (2021). MSC: 68T20 90C09 90C11 PDFBibTeX XMLCite \textit{J. Devriendt} et al., Constraints 26, No. 1--4, 26--55 (2021; Zbl 1524.68342) Full Text: DOI
Pang, Yuchen; Coffrin, Carleton; Lokhov, Andrey Y.; Vuffray, Marc The potential of quantum annealing for rapid solution structure identification. (English) Zbl 1485.81022 Constraints 26, No. 1-4, 1-25 (2021); correction ibid. 26, No. 1-4, 107 (2021). MSC: 81P68 90C09 65Y15 68P10 68Q25 82B20 PDFBibTeX XMLCite \textit{Y. Pang} et al., Constraints 26, No. 1--4, 1--25 (2021; Zbl 1485.81022) Full Text: DOI arXiv
Levit, Vadim; Komarovsky, Zohar; Grinshpoun, Tal; Bazzan, Ana L. C.; Meisels, Amnon Incentive-based search for equilibria in Boolean games. (English) Zbl 1427.91012 Constraints 24, No. 3-4, 288-319 (2019). MSC: 91A10 68W15 90C57 PDFBibTeX XMLCite \textit{V. Levit} et al., Constraints 24, No. 3--4, 288--319 (2019; Zbl 1427.91012) Full Text: DOI
Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y. Not all FPRASs are equal: demystifying FPRASs for DNF-counting. (English) Zbl 1483.68498 Constraints 24, No. 3-4, 211-233 (2019). MSC: 68W20 68R07 68T20 68W25 PDFBibTeX XMLCite \textit{K. S. Meel} et al., Constraints 24, No. 3--4, 211--233 (2019; Zbl 1483.68498) Full Text: DOI
Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT. (English) Zbl 1483.68244 Constraints 24, No. 2, 133-161 (2019). MSC: 68R07 68T20 PDFBibTeX XMLCite \textit{A. Zha} et al., Constraints 24, No. 2, 133--161 (2019; Zbl 1483.68244) Full Text: DOI
Wahbi, Mohamed; Ezzahir, Redouane; Bessiere, Christian; Bouyakhf, El Houssine Nogood-based asynchronous forward checking algorithms. (English) Zbl 1327.90113 Constraints 18, No. 3, 404-433 (2013). MSC: 90C09 PDFBibTeX XMLCite \textit{M. Wahbi} et al., Constraints 18, No. 3, 404--433 (2013; Zbl 1327.90113) Full Text: DOI
Martins, Ruben; Manquinho, Vasco; Lynce, Inês An overview of parallel SAT solving. (English) Zbl 1309.90057 Constraints 17, No. 3, 304-347 (2012). MSC: 90C09 PDFBibTeX XMLCite \textit{R. Martins} et al., Constraints 17, No. 3, 304--347 (2012; Zbl 1309.90057) Full Text: DOI
Živný, Stanislav; Jeavons, Peter G. Classes of submodular constraints expressible by graph cuts. (English) Zbl 1208.68196 Constraints 15, No. 3, 430-452 (2010). MSC: 68T20 PDFBibTeX XMLCite \textit{S. Živný} and \textit{P. G. Jeavons}, Constraints 15, No. 3, 430--452 (2010; Zbl 1208.68196) Full Text: DOI
Sabharwal, Ashish SymChaff: Exploiting symmetry in a structure-aware satisfiability solver. (English) Zbl 1186.68442 Constraints 14, No. 4, 478-505 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Sabharwal}, Constraints 14, No. 4, 478--505 (2009; Zbl 1186.68442) Full Text: DOI
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael Propagation via lazy clause generation. (English) Zbl 1192.68654 Constraints 14, No. 3, 357-391 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{O. Ohrimenko} et al., Constraints 14, No. 3, 357--391 (2009; Zbl 1192.68654) 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
Lynce, Inês; Marques-Silva, João; Prestwich, Steve Boosting haplotype inference with local search. (English) Zbl 1142.92030 Constraints 13, No. 1-2, 155-179 (2008). MSC: 92D10 68T20 PDFBibTeX XMLCite \textit{I. Lynce} et al., Constraints 13, No. 1--2, 155--179 (2008; Zbl 1142.92030) Full Text: DOI Link
Liu, Lengning; Truszczyński, Mirosław Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques. (English) Zbl 1211.68386 Constraints 12, No. 3, 345-369 (2007). MSC: 68T20 03B70 PDFBibTeX XMLCite \textit{L. Liu} and \textit{M. Truszczyński}, Constraints 12, No. 3, 345--369 (2007; Zbl 1211.68386) Full Text: DOI