%0 Conference Paper %1 conf/aaai/LinZ02 %A Lin, Fangzhen %A Zhao, Yuting %B AAAI/IAAI %D 2002 %E Dechter, Rina %E Kearns, Michael J. %E Sutton, Richard S. %I AAAI Press / The MIT Press %K dblp %P 112-118 %T ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#LinZ02

@inproceedings{conf/aaai/LinZ02, added-at = {2023-09-05T00:00:00.000+0200}, author = {Lin, Fangzhen and Zhao, Yuting}, biburl = {https://www.bibsonomy.org/bibtex/2cb02eb247b931040181f6a95285f5325/dblp}, booktitle = {AAAI/IAAI}, crossref = {conf/aaai/2002}, editor = {Dechter, Rina and Kearns, Michael J. and Sutton, Richard S.}, ee = {http://www.aaai.org/Library/AAAI/2002/aaai02-018.php}, interhash = {e89b88ac6b26f267b7a24cb51c0a99d5}, intrahash = {cb02eb247b931040181f6a95285f5325}, keywords = {dblp}, pages = {112-118}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-09T18:12:05.000+0200}, title = {ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#LinZ02}, year = 2002 }