From Resolution and DPLL to Solving Arithmetic Constraints

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Pages	261-262
Number of pages	2
DOIs	https://doi.org/10.1007/978-3-642-40885-4_18
Publication status	Published - 2013

Access to Document

@inproceedings{d98d6e889ff44dc08be4e9c7b912c76b,

title = "From Resolution and DPLL to Solving Arithmetic Constraints",

author = "Konstantin Korovin",

year = "2013",

doi = "10.1007/978-3-642-40885-4_18",

language = "English",

pages = "261--262",

booktitle = "Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings",

}