%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 Satisfiabiliy. %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 = {2022-05-06T00:00:00.000+0200}, author = {Bacchus, Fahiem and Järvisalo, Matti and Martins, Ruben}, biburl = {https://www.bibsonomy.org/bibtex/2168b1053fdd6799a645e994fcbc05d13/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 = {e7381026a634960fb443557a607ca975}, intrahash = {168b1053fdd6799a645e994fcbc05d13}, isbn = {978-1-64368-161-0}, keywords = {dblp}, pages = {929-991}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T07:45:38.000+0200}, title = {Maximum Satisfiabiliy.}, url = {http://dblp.uni-trier.de/db/series/faia/faia336.html#BacchusJM21}, volume = 336, year = 2021 }