Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Study of Encodings. Frisch, A. M., Peugniez, T. J., Doggett, A. J., & Nightingale, P. Journal of Automated Reasoning, 35:143-179, 2005. bibtex @article{ Frisch+Peugniez/05/Solving,
author = {Alan M. Frisch and Timothy J. Peugniez and Anthony J. Doggett and Peter Nightingale},
title = {Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Study of Encodings},
journal = {Journal of Automated Reasoning},
pages = {143-179},
volume = {35} ,
year = {2005}
}
Downloads: 0
{"_id":{"_str":"5216b7cea94125756100094e"},"__v":11,"authorIDs":["5456e8af8b01c81930000051","5497e48cd2d96cd6770024bb"],"author_short":["Frisch, A. M.","Peugniez, T. J.","Doggett, A. J.","Nightingale, P."],"bibbaseid":"frisch-peugniez-doggett-nightingale-solvingnonbooleansatisfiabilityproblemswithstochasticlocalsearchastudyofencodings-2005","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alan","M."],"propositions":[],"lastnames":["Frisch"],"suffixes":[]},{"firstnames":["Timothy","J."],"propositions":[],"lastnames":["Peugniez"],"suffixes":[]},{"firstnames":["Anthony","J."],"propositions":[],"lastnames":["Doggett"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Nightingale"],"suffixes":[]}],"title":"Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Study of Encodings","journal":"Journal of Automated Reasoning","pages":"143-179","volume":"35","year":"2005","bibtex":"@article{ Frisch+Peugniez/05/Solving,\n author = {Alan M. Frisch and Timothy J. Peugniez and Anthony J. Doggett and Peter Nightingale},\n title = {Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Study of Encodings},\n journal = {Journal of Automated Reasoning},\n pages = {143-179},\n volume = {35} ,\n year = {2005}\n}\n\n\n","author_short":["Frisch, A. M.","Peugniez, T. J.","Doggett, A. J.","Nightingale, P."],"key":"Frisch+Peugniez/05/Solving","id":"Frisch+Peugniez/05/Solving","bibbaseid":"frisch-peugniez-doggett-nightingale-solvingnonbooleansatisfiabilityproblemswithstochasticlocalsearchastudyofencodings-2005","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/author/alan-m-frisch/?format=bibtex","downloads":0,"keywords":[],"search_terms":["solving","non","boolean","satisfiability","problems","stochastic","local","search","study","encodings","frisch","peugniez","doggett","nightingale"],"title":"Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Study of Encodings","title_words":["solving","non","boolean","satisfiability","problems","stochastic","local","search","study","encodings"],"year":2005,"dataSources":["jQ9mqaWfZRivmkPSw"]}