@inproceedings{fukunaga-AAAI-1997,
	title        = {Variable-Selection Heuristics in Local Search for Satisfiability Testing},
	author       = {A. Fukunaga},
	year         = 1997,
	booktitle    = {National Conference on Artificial Intelligence (AAAI 1997)},
	address      = {Providence, RI},
	pages        = {275--280}
}

{"_id":"ti3aSF6kgKi89noXN","bibbaseid":"fukunaga-variableselectionheuristicsinlocalsearchforsatisfiabilitytesting-1997","author_short":["Fukunaga, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Variable-Selection Heuristics in Local Search for Satisfiability Testing","author":[{"firstnames":["A."],"propositions":[],"lastnames":["Fukunaga"],"suffixes":[]}],"year":"1997","booktitle":"National Conference on Artificial Intelligence (AAAI 1997)","address":"Providence, RI","pages":"275–280","bibtex":"@inproceedings{fukunaga-AAAI-1997,\n\ttitle = {Variable-Selection Heuristics in Local Search for Satisfiability Testing},\n\tauthor = {A. Fukunaga},\n\tyear = 1997,\n\tbooktitle = {National Conference on Artificial Intelligence (AAAI 1997)},\n\taddress = {Providence, RI},\n\tpages = {275--280}\n}\n","author_short":["Fukunaga, A."],"key":"fukunaga-AAAI-1997","id":"fukunaga-AAAI-1997","bibbaseid":"fukunaga-variableselectionheuristicsinlocalsearchforsatisfiabilitytesting-1997","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"ai.jpl.nasa.gov/public/publications/jpl_aig.bib","dataSources":["fFKv7kkLuCZPtfsiH","QvdbtaigAhR3B2gH3","gKzW9rEearQxTm7ht"],"keywords":[],"search_terms":["variable","selection","heuristics","local","search","satisfiability","testing","fukunaga"],"title":"Variable-Selection Heuristics in Local Search for Satisfiability Testing","year":1997}