%0 Conference Paper %1 conf/intellisys/Halaby16 %A Halaby, Mohamed El %B IntelliSys (1) %D 2016 %E Bi, Yaxin %E Kapoor, Supriya %E Bhatia, Rahul %I Springer %K dblp %P 428-452 %T Solving MaxSAT by Successive Calls to a SAT Solver. %U http://dblp.uni-trier.de/db/conf/intellisys/intellisys2016-1.html#Halaby16 %V 15 %@ 978-3-319-56994-9

@inproceedings{conf/intellisys/Halaby16, added-at = {2022-04-27T00:00:00.000+0200}, author = {Halaby, Mohamed El}, biburl = {https://www.bibsonomy.org/bibtex/22c68b2502c5cd95ae40dfed4f7105396/dblp}, booktitle = {IntelliSys (1)}, crossref = {conf/intellisys/2016-1}, editor = {Bi, Yaxin and Kapoor, Supriya and Bhatia, Rahul}, ee = {https://doi.org/10.1007/978-3-319-56994-9_31}, interhash = {5128851acc5f3a3fb39a57bba5a8364e}, intrahash = {2c68b2502c5cd95ae40dfed4f7105396}, isbn = {978-3-319-56994-9}, keywords = {dblp}, pages = {428-452}, publisher = {Springer}, series = {Lecture Notes in Networks and Systems}, timestamp = {2024-04-09T21:47:04.000+0200}, title = {Solving MaxSAT by Successive Calls to a SAT Solver.}, url = {http://dblp.uni-trier.de/db/conf/intellisys/intellisys2016-1.html#Halaby16}, volume = 15, year = 2016 }