%0 Book Section %1 series/faia/BacchusJM21 %A Bacchus, Fahiem %A Järvisalo, Matti %A Martins, Ruben %B Handbook of Satisfiability %D 2021 %E Biere, Armin %E Heule, Marijn %E van Maaren, Hans %E Walsh, Toby %I IOS Press %K dblp %P 929-991 %T Maximum Satisfiability. %U http://dblp.uni-trier.de/db/series/faia/faia336.html#BacchusJM21 %V 336 %@ 978-1-64368-161-0

@incollection{series/faia/BacchusJM21, added-at = {2024-06-17T00:00:00.000+0200}, author = {Bacchus, Fahiem and Järvisalo, Matti and Martins, Ruben}, biburl = {https://www.bibsonomy.org/bibtex/278e26d95e36f955765e64094cee550c7/dblp}, booktitle = {Handbook of Satisfiability}, crossref = {series/faia/336}, editor = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby}, ee = {https://doi.org/10.3233/FAIA201008}, interhash = {6254a0fe35e194698e3be2cda31bd065}, intrahash = {78e26d95e36f955765e64094cee550c7}, isbn = {978-1-64368-161-0}, keywords = {dblp}, pages = {929-991}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-06-24T07:39:16.000+0200}, title = {Maximum Satisfiability.}, url = {http://dblp.uni-trier.de/db/series/faia/faia336.html#BacchusJM21}, volume = 336, year = 2021 }