(no commit message)
authorzack <zack@web>
Fri, 21 May 2010 08:28:42 +0000 (10:28 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 May 2010 08:28:42 +0000 (10:28 +0200)
wiki/academia/reading_list.mdwn

index eeb2b64..c950572 100644 (file)
@@ -2,6 +2,8 @@
 
 ## Recently read papers
 
+* *[Do sat solvers make good configurators?](https://sort.ucd.ie/documents/published/Janota08.pdf)* by Janota
+* *[Grammars as feature diagrams](http://reference.kfupm.edu.sa/content/g/r/grammars_as_feature_diagrams_96223.pdf)* by De Jonge and Visser
 * *[Automated Reasoning on Feature Models](http://www.springerlink.com/index/qh6yvx3y6pxet8ex.pdf)* by Benavides
 * *[Reasoning about Feature Models in Higher-Order Logic](http://www.computer.org/portal/web/csdl/doi?doc=doi/10.1109/SPLINE.2007.36)* by Janota and Kiniry
 * *[Feature Diagrams: A Survey and a Formal Semantics](http://www.computer.org/portal/web/csdl/doi/10.1109/RE.2006.23)* by Schobbens et al.