Search results for "Symmetry"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
41	Luc Longpré, Osamu Watanabe 0001	On Symmetry of Information and Polynomial Time Invertibility.	ISAAC	1992	DBLP DOI BibTeX RDF
41	Ruochen Liu, Hejun Ning, Wei Zhang 0009, Licheng Jiao	A clonal selection clustering algorithm using pointed symmetry-based distance measure.	GECCO	2010	DBLP DOI BibTeX RDF	clone selection, immune vaccine, point symmetry distance, clustering
41	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 0002	Dynamic structural symmetry breaking for constraint satisfaction problems.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Dominance detection, CSP, Tractability, Symmetry breaking
41	Hui Wang, Guangle Yan	Symmetry Breaking in the Evolution of World Economic Structure.	Complex (1)	2009	DBLP DOI BibTeX RDF	world economic structure, economic long wave, international division of labor, symmetry breaking, technology innovation
41	Corinna Spermann, Michael Leuschel	ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.	TASE	2008	DBLP DOI BibTeX RDF	Model Checking, Model Checking, Tool Support, Tool Support, B-Method, B-Method, Symmetry Reduction
41	Xudong Niu, Yan Song, Bo Li, Wei Bian, Yadong Tao, Feng Liu, Jinhua Hu, Yu Chen, Frank He	Tests on Symmetry and Continuity between BSIM4 and BSIM5.	ISQED	2007	DBLP DOI BibTeX RDF	BSIM4, BSIM5, CMOS circuit design, symmetry, continuity, compact model
41	Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner	Symmetry Reduction for B by Permutation Flooding.	B	2007	DBLP DOI BibTeX RDF	Symmetry Reduction.1, Model Checking, Tool Support, B-Method
41	Shinichi Kouda, Chikaaki Kodama, Kunihiro Fujiyoshi	Improved method of cell placement with symmetry constraints for analog IC layout design.	ISPD	2006	DBLP DOI BibTeX RDF	symmetry constraints, linear programming, placement, analog circuits, sequence-pair
41	June-Suh Cho, Joonsoo Choi	Contour-based partial object recognition using symmetry in image databases.	SAC	2005	DBLP DOI BibTeX RDF	image, recognition, object, symmetry, contour
41	Alastair F. Donaldson, Alice Miller 0001	Automatic Symmetry Detection for Model Checking Using Computational Group Theory.	FM	2005	DBLP DOI BibTeX RDF	Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
41	H. L. Zou, Y. T. Lee	Skewed mirror symmetry detection from a 2D sketch of a 3D model.	GRAPHITE	2005	DBLP DOI BibTeX RDF	skewed mirror symmetry, constraint, sketch, automorphism group
41	Carlos Vinhais, Aurélio C. Campilho	Optimal Detection of Symmetry Axis in Digital Chest X-ray Images.	IbPRIA	2003	DBLP DOI BibTeX RDF	Reflectional Symmetry, Probabilistic Genetic Algorithm, Image Processing
41	Dragan Bosnacki	A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.	FORTE	2002	DBLP DOI BibTeX RDF	state space reduction techniques, nested depth first search algorithm, multiple representatives, Model checking, symmetry reduction
41	Eugene L. Allgower, Kurt Georg	Numerical exploitation of symmetry in integral equations.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	equivariant integral equations, Nyström method, linear equation solvers, finite Fourier transform, 65T20, 20C15, boundary element method, 65F05, symmetry groups, 45L10
41	Raymond K. K. Yip, Peter Kwong-Shun Tam, Dennis N. K. Leung	Application of Elliptic Fourier Descriptors to Symmetry Detection Under Parallel Projection.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	elliptic Fourier descriptors, parallel projection, arc length parameterization, planar object recognition, computer vision, iterative methods, invariance, invariants, iteration algorithm, symmetry detection, series (mathematics)
41	Jiayi Liu, Sheqin Dong, Yuchun Ma, Di Long, Xianlong Hong	Thermal-driven Symmetry Constraint for Analog Layout with CBL Representation.	ASP-DAC	2007	DBLP DOI BibTeX RDF	thermal-optimal placement, thermal-driven symmetry constraint, analog layout, thermal constraint, hot-spot effect, temperature gradient, symmetrical devices, placement process, geometric symmetry, corner block list, thermal model
41	Michael F. Kelly, Martin D. Levine	Annular Symmetry Operators: A Method for Locating and Describing Objects.	ICCV	1995	DBLP DOI BibTeX RDF	annular symmetry operators, machine vision system, contrast edges, SYMMETRICAL ENCLOSING edge configurations, ANNULAR OPERATORS, symmetry points, computer vision, image segmentation, object detection, gray level image, edge features
37	Gilles Audemard, Belaid Benhamou, Laurent Henocque	Predicting and Detecting Symmetries in FOL Finite Model Search.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	symmetry, constraint programming, finite models
37	Hsing-Kuo Pao, Davi Geiger	A Continuous Shape Descriptor by Orientation Diffusion.	EMMCVPR	2001	DBLP DOI BibTeX RDF	Orientation Diffusion, Symmetry, Shape Analysis, Convexity, Early Vision
37	Hussein Karam, Masayuki Nakajima	Islamic Symmetric Pattern Generation based on Group Theory.	Computer Graphics International	1999	DBLP DOI BibTeX RDF	Fold-types symmetry, Islamic art, Symmetry, Tiling, Group theory, Pattern generation
37	A. V. Dzyabchenko, Valery N. Agafonov	Computer-aided design of crystalline drugs.	HICSS (5)	1995	DBLP DOI BibTeX RDF	crystal structure, crystalline drugs, crystal structure prediction, minimum-energy packings, observed space-group occurrence factors, crystal symmetry, multidimensional crystal-structure parameter space, cell parameters, rigid-body molecular parameters, accelerated convergence method, lattice energy, multi-step structure optimization technique, Packing of Molecules in Crystal, PMC program, implicit symmetry, CRYCOM, crystal comparison program, computational study, crystal structure polymorphism piracetam, metastable form, searching, CAD, computer-aided design, optimisation, polymorphism, chemistry, chemistry computing, search region
34	Georgios Tzimiropoulos, Nikolaos Mitianoudis, Tania Stathaki	A Unifying Approach to Moment-Based Shape Orientation and Symmetry Classification.	IEEE Trans. Image Process.	2009	DBLP DOI BibTeX RDF
34	Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang 0001	Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.	SPIN	2009	DBLP DOI BibTeX RDF
34	Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith	Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.	DISC	2009	DBLP DOI BibTeX RDF
34	David Cailliere, Florence Denis, Danielle Pelé, Atilla Baskurt	3D mirror symmetry detection using Hough transform.	ICIP	2008	DBLP DOI BibTeX RDF
34	Konstantinos Bitsakos, Hyoungjune Yi, Li Yi, Cornelia Fermüller	Bilateral symmetry of object silhouettes under perspective projection.	ICPR	2008	DBLP DOI BibTeX RDF
34	Or Yogev, Andrew A. Shapiro, Erik K. Antonsson	Modularity and symmetry in computational embryogeny.	GECCO	2008	DBLP DOI BibTeX RDF	artificial cell, genetic algorithm, finite element, stresses, indirect encoding
34	Thomas Wahl	Adaptive Symmetry Reduction.	CAV	2007	DBLP DOI BibTeX RDF
34	Sriparna Saha 0001, Sanghamitra Bandyopadhyay	MRI brain image segmentation by fuzzy symmetry based genetic clustering technique.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
34	Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart	Efficient Approximate Verification of Promela Models Via Symmetry Markers.	ATVA	2007	DBLP DOI BibTeX RDF
34	Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler	Symmetry Reduced Model Checking for B.	TASE	2007	DBLP DOI BibTeX RDF
34	Hyun Joo So, Mi Hye Kim, Yun Su Chung, Nam Chul Kim	Face Detection Using Sketch Operators and Vertical Symmetry.	FQAS	2006	DBLP DOI BibTeX RDF
34	Kai Huebner, Jianwei Zhang 0001	Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems.	IROS	2006	DBLP DOI BibTeX RDF
34	Olli Lahdenoja, Esa Alhoniemi, Mika Laiho, Ari Paasio	A Shape-Preserving Non-parametric Symmetry Transform.	ICPR (2)	2006	DBLP DOI BibTeX RDF
34	Yong Zhang, Yun Wen Chen	Hierarchical Clustering with Proximity Metric Derived from Approximate Reflectional Symmetry.	FSKD	2006	DBLP DOI BibTeX RDF
34	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck	Static and Dynamic Structural Symmetry Breaking.	CP	2006	DBLP DOI BibTeX RDF
34	Gareth Loy, Jan-Olof Eklundh	Detecting Symmetry and Symmetric Constellations of Features.	ECCV (2)	2006	DBLP DOI BibTeX RDF
34	W. Douglas Obal II, Michael G. McQuinn, William H. Sanders	Detecting and Exploiting Symmetry in Discrete-state Markov Models.	PRDC	2006	DBLP DOI BibTeX RDF
34	Xin Chen, Patrick J. Flynn, Kevin W. Bowyer	Fully Automated Facial Symmetry Axis Detection in Frontal Color Images.	AutoID	2005	DBLP DOI BibTeX RDF
34	Jai-Ming Lin, Guang-Ming Wu, Yao-Wen Chang, Jen-Hui Chuang	Placement with symmetry constraints for analog layout design using TCG-S.	ASP-DAC	2005	DBLP DOI BibTeX RDF
34	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Dynamic symmetry-breaking for improved Boolean optimization.	ASP-DAC	2005	DBLP DOI BibTeX RDF
34	E. Allen Emerson, Thomas Wahl	Dynamic Symmetry Reduction.	TACAS	2005	DBLP DOI BibTeX RDF
34	Arasanathan Anjulan, Cedric Nishan Canagarajah	Affine Invariant Feature Extraction Using Symmetry.	ACIVS	2005	DBLP DOI BibTeX RDF
34	David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	CP	2005	DBLP DOI BibTeX RDF
34	Guoying Zhao 0001, Li Cui, Hua Li 0009	Combining Wavelet Velocity Moments and Reflective Symmetry for Gait Recognition.	IWBRS	2005	DBLP DOI BibTeX RDF
34	Josef Bigün, Tomas Bigun, Kenneth Nilsson	Recognition by Symmetry Derivatives and the Generalized Structure Tensor.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF
34	Kun Huang 0001, Allen Y. Yang, Wei Hong 0003, Yi Ma 0001	Large-baseline Matching and Reconstruction from Symmetry Cells.	ICRA	2004	DBLP DOI BibTeX RDF
34	Sambuddha Bhattacharya, Nuttorn Jangkrajarng, Roy Hartono, C.-J. Richard Shi	Hierarchical extraction and verification of symmetry constraints for analog layout automation.	ASP-DAC	2004	DBLP DOI BibTeX RDF
34	Kai Huebner	A Symmetry Operator and Its Application to the RoboCup.	RoboCup	2003	DBLP DOI BibTeX RDF
34	Raymond K. K. Yip	Genetic Fourier Descriptor for the Detection of Rotational Symmetry.	WILF	2003	DBLP DOI BibTeX RDF
34	Ana Piquer Vicent, Ralph R. Martin, Pedro Company	Skewed Mirror Symmetry for Depth Estimation in 3D Line-Drawings.	GREC	2003	DBLP DOI BibTeX RDF
34	Sharon Barner, Orna Grumberg	Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
34	Radu Iosif	Symmetry Reduction Criteria for Software Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
34	James B. Hayfron-Acquah, Mark S. Nixon, John N. Carter	Human Identification by Spatio-Temporal Symmetry.	ICPR (1)	2002	DBLP DOI BibTeX RDF
34	Iain McDonald, Barbara M. Smith	Partial Symmetry Breaking.	CP	2002	DBLP DOI BibTeX RDF
34	Rogério de Oliveira, Luiz Henrique Alves Monteiro	Symmetry Detection Using Global-Locally Coupled Maps.	ICANN	2002	DBLP DOI BibTeX RDF
34	James B. Hayfron-Acquah, Mark S. Nixon, John N. Carter	Recognising human and animal movement by symmetry.	ICIP (3)	2001	DBLP DOI BibTeX RDF
34	James B. Hayfron-Acquah, Mark S. Nixon, John N. Carter	Automatic Gait Recognition by Symmetry Analysis.	AVBPA	2001	DBLP DOI BibTeX RDF
34	Yanxi Liu 0001, Robert T. Collins	Skewed Symmetry Groups.	CVPR (1)	2001	DBLP DOI BibTeX RDF
34	Robert Levinson	Symmetry and the Computation of Conceptual Structures.	ICCS	2000	DBLP DOI BibTeX RDF
34	Gregory J. Reid, Allan D. Wittkopf	Determination of maximal symmetry groups of classes of differential equations.	ISSAC	2000	DBLP DOI BibTeX RDF
34	Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla	Symmetry Reductions in Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
34	Kevin Cattell, Jon C. Muzio	Partial Symmetry in Cellular Automata Rule Vectors.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	palindrome, cellular automata, primitive polynomial, characteristic polynomial
34	Sebastian Iwanowski	Testing Approximate Symmetry in the Plane is NP-hard.	MFCS	1989	DBLP DOI BibTeX RDF
34	Demetri Terzopoulos, Andrew P. Witkin, Michael Kass	Symmetry-seeking models and 3D object reconstruction.	Int. J. Comput. Vis.	1988	DBLP DOI BibTeX RDF
34	Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.	Backtrack Searching in the Presence of Symmetry.	AAECC	1988	DBLP DOI BibTeX RDF
34	Ying Bo Xu, Chun-Hao Wang, Paul Zalzal, Oleg Safir, Ling Guan	Analysis of Human Gait Bilateral Symmetry for Functional Assessment after an Orthopaedic Surgery.	ICIAR	2009	DBLP DOI BibTeX RDF	gait pattern, symmetry, dynamic time warping
34	Yunping Zheng, Chuanbo Chen, Mudar Sarem	An improved algorithm for gray image representation using non-symmetry and anti-packing model with triangles and rectangles.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	non-symmetry and anti-packing model, anti-packing problem, image representation, linear quadtree, gray image
34	Rachid Belaroussi, Maurice Milgram	A Real Time Fingers Detection by Symmetry Transform Using a Two Cameras System.	ISVC (2)	2008	DBLP DOI BibTeX RDF	Symmetry transform, oriented edges, face detection, skin color model, camshift
34	Ling Liu, Haitian Yang	A paralleled element-free Galerkin analysis for structures with cyclic symmetry.	Eng. Comput.	2007	DBLP DOI BibTeX RDF	EFG, Cyclic symmetry, Parallel computation, PVM
34	Sriparna Saha 0001, Sanghamitra Bandyopadhyay	A Fuzzy Genetic Clustering Technique Using a New Symmetry Based Distance for Automatic Evolution of Clusters.	ICCTA	2007	DBLP DOI BibTeX RDF	Cluster Validity Index, Point Symmetry, Variable String Length, Genetic Algorithm, Clustering, Kd-tree
34	Niloy J. Mitra, Leonidas J. Guibas, Mark Pauly	Partial and approximate symmetry detection for 3D geometry.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	sampling guarantees, geometric modeling, shape analysis, shape descriptor, symmetry detection
34	Harry Yserentant	Sparse Grids, Adaptivity, and Symmetry.	Computing	2006	DBLP DOI BibTeX RDF	antisymmetry, adaptivity, symmetry, Sparse grids
34	Jason M. Daida	Characterizing the dynamics of symmetry breaking in genetic programming.	GECCO	2006	DBLP DOI BibTeX RDF	graphics techniques, data structures, computational geometry, design patterns, tree, symmetry breaking, analysis methods
34	Sharon Barner, Orna Grumberg	Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	under-approximation, symbolic model checking, hints, symmetry reduction
34	Jianmin Jiang, Jinzhao Wu	Symmetry and Autobisimulation.	PDCAT	2005	DBLP DOI BibTeX RDF	autobisimulation, Symmetry, event structures
34	Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov	Exploiting structure in symmetry detection for CNF.	DAC	2004	DBLP DOI BibTeX RDF	abstract algebra, partition refinement, symmetry, backtrack search, graph automorphism, boolean satisfiability (SAT)
34	Kun Huang 0001, Wei Hong 0003, Yi Ma 0001	Symmetry-Based Photo Editing.	HLK	2003	DBLP DOI BibTeX RDF	high-level knowledge, structure from symmetry, 3-D scene recovery, image editing, vision and scene understanding
34	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Solving difficult SAT instances in the presence of symmetry.	DAC	2002	DBLP DOI BibTeX RDF	difficult, faster, search, symmetry, SAT, CNF, speed-up, instances
34	M. R. Darafsheh, Mohammad Reza Pournaki	Computation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Symmetry classes of tensors, Actions of symmetric groups, Irreducible characters, Projective special linear group
34	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model-checking, temporal logic, abstraction, symmetry, automata, state explosion
34	Yves Dallery, Zhen Liu 0001, Donald F. Towsley	Equivalence, Reversibility, Symmetry and Concavity Properties in Fork-Join Queueing Networks with Blocking.	J. ACM	1994	DBLP DOI BibTeX RDF	Fork-Join queuing networks, blocking before service, throughput, symmetry, duality, queuing theory, equivalence, marked graphs, concavity
34	John M. Gauch, Stephen M. Pizer	The Intensity Axis of Symmetry and Its Application to Image Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	spatial variations, shape structures, intensity axis, geometric coherence, computer vision, computer vision, image processing, image segmentation, image segmentation, image recognition, symmetry, shape description, intensity variations, grey-scale images
34	Giovanni Marola	On the Detection of the Axes of Symmetry of Symmetric and Almost Symmetric Planar Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	axes of symmetry detection, symmetric planar images, digitized figures, optimisation, computerised picture processing, computerised picture processing, computerised pattern recognition, computerised pattern recognition, identification, centroids, planar curves, gray-level
34	Ming Zhao 0011, Zhenyu Meng, Kuo-Kun Tseng, Jeng-Shyang Pan 0001, Chih-Yu Hsu	Symmetry Auto-detection Based on Contour and Corner Models.	ICGEC	2011	DBLP DOI BibTeX RDF	bilateral symmetry, contour, boundary, corner detection, active contour model, symmetry detection
34	Seungkyu Lee, Yanxi Liu 0001	Skewed Rotation Symmetry Group Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	Skewed rotation symmetry, frieze group, discrete Fourier transform, saliency map, symmetry group, cyclic group, dihedral group
34	Qi Guo, Falei Guo, Jiaqing Shao	Irregular Shape Symmetry Analysis: Theory and Application to Quantitative Galaxy Classification.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	Bilateral and rotational symmetry, galaxy classification, irregularity, symmetry measure
31	Nicolai Bissantz, Hajo Holzmann, Miroslaw Pawlak	Testing for Image Symmetries - With Application to Confocal Microscopy.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
31	Qingtang Jiang	FIR Filter Banks for Hexagonal Data Processing.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
31	Dan Raviv, Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel	Symmetries of non-rigid shapes.	ICCV	2007	DBLP DOI BibTeX RDF
31	Sai Kit Yeung, Pengcheng Shi	Stochastic Framework for Symmetric Affine Matching between Point Sets.	ICPR (3)	2006	DBLP DOI BibTeX RDF
31	Jean-Francois Puget	Automatic Detection of Variable and Value Symmetries.	CP	2005	DBLP DOI BibTeX RDF
31	Roland Martin, Karsten Weihe	Weak Symmetries in Problem Formulations.	CP	2005	DBLP DOI BibTeX RDF
31	Si-Duo Chen	Extraction of local mirror-symmetric feature by odd-even decomposition.	ICIP (3)	2001	DBLP DOI BibTeX RDF
31	Torsten Minkwitz	Algorithms Explained by Symmetries.	STACS	1995	DBLP DOI BibTeX RDF
31	Lei Gao, Chao Li 0001, Ting Fang, Zhang Xiong 0001	Vehicle Detection Based on Color and Edge Information.	ICIAR	2008	DBLP DOI BibTeX RDF	vehicle, symmetry detection, morphological reconstruction, RGB color space
31	Richard Zuber	Symmetric and contrapositional quantifiers.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Contaposition of quantifiers, Symmetry of higher order quantifiers
31	Ming Li 0017, Frank C. Langbein, Ralph R. Martin	Detecting approximate incomplete symmetries in discrete point sets.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	approximate incomplete symmetry, reverse engineering, design intent
31	Shunyi Zheng, Ling Yang	Reconstruction of Surfaces of Revolution.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF	Revolution, 3D reconstruction, Symmetry
31	Yat Chiu Law, Jimmy Ho-Man Lee	Breaking value symmetries in matrix models using channeling constraints.	SAC	2005	DBLP DOI BibTeX RDF	CSP, symmetry breaking