Solving Linux Upgradeability Problems Using Boolean Optimization-Reference-Cited by-同舟云学术

Solving Linux Upgradeability Problems Using Boolean Optimization

Author:

Argelich Josep¹,Le Berre Daniel²,Lynce Inês³,Marques-Silva Joao⁴,Rapicault Pascal⁵

Affiliation:

1. DIEI

2. CRIL-CNRS

3. INESC-ID/IST

4. CSI/CASL

5. Sonatype

Publisher

Open Publishing Association

Reference15 articles.

1. On Solving Boolean Multilevel Optimization Problems;Josep Argelich,2009

2. The Complexity of Theorem Proving Procedures;S. Cook,1971

3. An Extensible SAT-solver;Niklas Eén,2003

5. The Sat4j library 2.2, System Description;Daniel Le Berre;Journal on Satisfiability, Boolean Modeling and Computation,2010

Cited by 33 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Flexible and Optimal Dependency Management via Max-SMT;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

3. Using Answer Set Programming for HPC Dependency Solving;SC22: International Conference for High Performance Computing, Networking, Storage and Analysis;2022-11

4. Searching for high-fidelity builds using active learning;Proceedings of the 19th International Conference on Mining Software Repositories;2022-05-23

5. Nufix;Proceedings of the 44th International Conference on Software Engineering;2022-05-21