1.1k citations
- Data61AU19 papers
- Universität GreifswaldDE11 papers
- Centre for Quantum Computation and Communication TechnologyAU10 papers
- Swinburne University of TechnologyAU8 papers
- Australian National UniversityAU7 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Massey UniversityNZ7 papers
- Australia Telescope National FacilityAU6 papers
- Commonwealth Scientific and Industrial Research OrganisationAU6 papers
- Los Alamos National LaboratoryUS6 papers
- The University of MelbourneAU6 papers
- The University of QueenslandAU6 papers
44 papers · 1 filter
Markov Chain Monte Carlo methods applied to measuring the fine structure constant from quasar spectroscopy
Julian A. King, Daniel J. Mortlock, John K. Webb +1
Recent attempts to constrain cosmological variation in the fine structure constant, alpha, using quasar absorption lines have yielded two statistical samples which initially appear…
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper +1
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE…
Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies
Mirco Gelain, Maria Pini, Francesca Rossi +2
Fuzzy constraints are a popular approach to handle preferences and over-constrained problems in scenarios where one needs to be cautious, such as in medical or space applications.…
Manipulation and gender neutrality in stable marriage procedures
Maria Pini, Francesca Rossi, Brent Venable +1
The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a…
Asymptotic enumeration of correlation-immune boolean functions
E. Rodney Canfield, Zhicheng Gao, Catherine Greenhill +2
A boolean function of boolean variables is {correlation-immune} of order if the function value is uncorrelated with the values of any of the arguments. Such functions a…
Symmetries of Symmetry Breaking Constraints
George Katsirelos, Toby Walsh
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different sy…