%0 Conference Paper %1 conf/ijcai/AudemardS07 %A Audemard, Gilles %A Simon, Laurent %B IJCAI %D 2007 %E Veloso, Manuela M. %K dblp %P 2256-2261 %T GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#AudemardS07

@inproceedings{conf/ijcai/AudemardS07, added-at = {2019-08-20T00:00:00.000+0200}, author = {Audemard, Gilles and Simon, Laurent}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b29b782017a83a63474f27d1d5b4106b/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2007}, editor = {Veloso, Manuela M.}, ee = {http://ijcai.org/Proceedings/07/Papers/363.pdf}, interhash = {16a68c22c5b52f56d55924b8c08e59e9}, intrahash = {b29b782017a83a63474f27d1d5b4106b}, keywords = {dblp}, pages = {2256-2261}, timestamp = {2019-09-27T18:31:16.000+0200}, title = {GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#AudemardS07}, year = 2007 }