Jordan Bell & Brett Stevens (2009):
A survey of known results and research areas for n-queens.
Discrete Mathematics 309(1),
pp. 1 – 31,
doi:10.1016/0012-365X(75)90079-5.
A. Bruen & R. Dixon (1975):
The n-queens problem.
Discrete Mathematics 12(4),
pp. 393 – 395,
doi:10.1016/0012-365X(75)90079-5.
Xavier Lorca Charles Prud'homme, Jean-Guillaume Fages (2014):
Choco3 Documentation.
TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S..
Available at http://www.choco-solver.org.
Asma Cherif, Abdessamad Imine & Michaël Rusinowitch (2011):
Optimistic access control for distributed collaborative editors.
In: SAC,
pp. 861–868,
doi:10.1145/1982185.1982374.
Asma Cherif, Abdessamad Imine & Michaël Rusinowitch (2014):
Practical access control management for distributed collaborative editors.
Pervasive and Mobile Computing 15,
pp. 62–86,
doi:10.1016/j.pmcj.2013.09.004.
Clarence A. Ellis & Simon J. Gibbs (1989):
Concurrency Control in Groupware Systems.
In: SIGMOD Conference 18,
pp. 399–407,
doi:10.1145/66926.66963.
Jean Ferrié, Nicolas Vidot & Michèle Cart (2004):
Concurrent Undo Operations in Collaborative Environments Using Operational Transformation.
In: CoopIS/DOA/ODBASE (1),
pp. 155–173,
doi:10.1007/978-3-540-30468-5_12.
Abdessamad Imine, Pascal Molli, Gérald Oster & Michaël Rusinowitch (2003):
Proving Correctness of Transformation Functions Functions in Real-Time Groupware.
In: ECSCW,
pp. 277–293,
doi:10.1007/978-94-010-0068-0_15.
Abdessamad Imine, Michael Rusinowitch, Gérald Oster & Pascal Molli (2006):
Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence.
Theoretical Computer Science 351(2),
pp. 167–183,
doi:10.1016/j.tcs.2005.09.066.
Du Li & Rui Li (2010):
An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems.
Computer Supported Cooperative Work (CSCW) 19(1),
pp. 1–43,
doi:10.1007/s10606-009-9103-1.
Brad Lushman & Gordon V. Cormack (2003):
Proof of correctness of Ressel's adOPTed algorithm.
Information Processing Letters 86(3),
pp. 303–310,
doi:10.1016/S0020-0190(03)00227-8.
Gérald Oster, Pascal Urso, Pascal Molli & Abdessamad Imine (2006):
Data Consistency for P2P Collaborative Editing.
In: Proceedings of the 2006 20th Anniversary Conference on Computer Supported Cooperative Work,
CSCW '06.
ACM,
New York, NY, USA,
pp. 259–268,
doi:10.1145/1180875.1180916.
Atul Prakash & Michael J. Knister (1994):
A framework for undoing actions in collaborative systems.
ACM Trans. Comput.-Hum. Interact. 1(4),
pp. 295–330,
doi:10.1145/198425.198427.
Matthias Ressel & Rul Gunzenhäuser (1999):
Reducing the problems of group undo.
In: GROUP '99: Proceedings of the international ACM SIGGROUP conference on Supporting group work.
ACM,
New York, NY, USA,
pp. 131–139,
doi:10.1145/320297.320312.
Matthias Ressel, Doris Nitsche-Ruhland & Rul Gunzenhauser (1996):
An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors.
In: ACM CSCW'96,
Boston, USA,
pp. 288–297,
doi:10.1145/240080.240305.
Bin Shao, Du Li & Ning Gu (2010):
An algorithm for selective undo of any operation in collaborative applications.
In: GROUP,
pp. 131–140,
doi:10.1145/1880071.1880093.
Maher Suleiman, Michèle Cart & Jean Ferrié (1997):
Serialization of concurrent operations in a distributed collaborative environment.
In: ACM GROUP'97,
pp. 435–445,
doi:10.1145/266838.267369.
Chengzheng Sun (2000):
Undo any operation at any time in group editors.
In: CSCW '00: Proceedings of the 2000 ACM conference on Computer supported cooperative work.
ACM,
New York, NY, USA,
pp. 191–200,
doi:10.1145/358916.358990.
Chengzheng Sun (2002):
Undo as concurrent inverse in group editors.
ACM Trans. Comput.-Hum. Interact. 9(4),
pp. 309–361,
doi:10.1145/586081.586085.
Chengzheng Sun & Clarence Ellis (1998):
Operational transformation in real-time group editors: issues, algorithms, and achievements.
In: ACM CSCW'98,
pp. 59–68,
doi:10.1145/289444.289469.
Chengzheng Sun, Xiaohua Jia, Yanchun Zhang, Yun Yang & David Chen (1998):
Achieving Convergence, Causality-preservation and Intention-preservation in real-time Cooperative Editing Systems.
ACM Trans. Comput.-Hum. Interact. 5(1),
pp. 63–108,
doi:10.1145/274444.274447.
Chengzheng Sun, Steven Xia, David Sun, David Chen, Haifeng Shen & Wentong Cai (2006):
Transparent adaptation of single-user applications for multi-user real-time collaboration.
ACM Trans. Comput.-Hum. Interact. 13(4),
pp. 531–582,
doi:10.1145/1188816.1188821.
David Sun & Chengzheng Sun (2009):
Context-Based Operational Transformation in Distributed Collaborative Editing Systems.
IEEE Trans. Parallel Distrib. Syst. 20(10),
pp. 1454–1470,
doi:10.1109/TPDS.2008.240.
Edward Tsang (1993):
Foundations of Constraint Satisfaction.
Stéphane Weiss, Pascal Urso & Pascal Molli (2009):
An Undo Framework for P2P Collaborative Editing.
In: Elisa Bertino & JamesB.D. Joshi: Collaborative Computing: Networking, Applications and Worksharing,
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 10.
Springer Berlin Heidelberg,
pp. 529–544,
doi:10.1007/978-3-642-03354-4_40.
eptcs@eptcs.org