{"_id":"rLuCyGZvzcouc3t3p","bibbaseid":"brand-gennari-derijke-constraintmethodsformodalsatisfiability-2004","author_short":["Brand, S.","Gennari, R.","de Rijke, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Brand"],"firstnames":["Sebastian"],"suffixes":[]},{"propositions":[],"lastnames":["Gennari"],"firstnames":["Rosella"],"suffixes":[]},{"propositions":["de"],"lastnames":["Rijke"],"firstnames":["Maarten"],"suffixes":[]}],"booktitle":"Recent Advances in Constraints","date-added":"2020-02-03 14:14:41 +0100","date-modified":"2020-02-03 14:14:41 +0100","number":"3010","pages":"66–86","publisher":"Springer","series":"LNAI","title":"Constraint Methods for Modal Satisfiability","year":"2004","bibtex":"@inproceedings{brand-constraint-2004,\n\tauthor = {Brand, Sebastian and Gennari, Rosella and de Rijke, Maarten},\n\tbooktitle = {Recent Advances in Constraints},\n\tdate-added = {2020-02-03 14:14:41 +0100},\n\tdate-modified = {2020-02-03 14:14:41 +0100},\n\tnumber = {3010},\n\tpages = {66--86},\n\tpublisher = {Springer},\n\tseries = {LNAI},\n\ttitle = {Constraint Methods for Modal Satisfiability},\n\tyear = {2004}}\n\n","author_short":["Brand, S.","Gennari, R.","de Rijke, M."],"key":"brand-constraint-2004","id":"brand-constraint-2004","bibbaseid":"brand-gennari-derijke-constraintmethodsformodalsatisfiability-2004","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://staff.fnwi.uva.nl/m.j.marx/ilps.bib","dataSources":["RtX3R9fNgLtNLANLf"],"keywords":[],"search_terms":["constraint","methods","modal","satisfiability","brand","gennari","de rijke"],"title":"Constraint Methods for Modal Satisfiability","year":2004}