Justin Pearson

82 papers A* 4A 19B 14C 2Misc 2Journal 26Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Dependency-Curated Large Neighbourhood Search. CP Frej Knutar Lewander, Pierre Flener, Justin Pearson
2025	J	`jnl`	Invariant Graph Propagation in Constraint-Based Local Search. J. Artif. Intell. Res. Frej Knutar Lewander, Pierre Flener, Justin Pearson
2024	J	`jnl`	Maximizing value yield in wood industry through flexible sawing and product grading based on wane and log shape. Comput. Electron. Agric. Kamran Forghani, Mats Carlsson, Pierre Flener, Magnus Fredriksson, Justin Pearson, Di Yuan
2024	B	`conf`	Parameterised Treewidth for Constraint Modelling Languages. ICTAI Justin Pearson
2022	J	`jnl`	When bounds consistency implies domain consistency for regular counting constraints. Constraints An Int. J. Barnaby Martin, Justin Pearson
2020	A	`conf`	Solving Satisfaction Problems Using Large-Neighbourhood Search. CP Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
2019	A	`conf`	Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. CP Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey
2019	B	`conf`	Generating Compound Moves in Local Search by Hybridisation with Complete Search. CPAIOR Gustav Björdal, Pierre Flener, Justin Pearson
2018	—	`—`	Control under energy and time constraints Justin Pearson
2018	B	`conf`	Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
2018	B	`conf`	Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. SEFM Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson
2017	B	`conf`	Automatic Generation of Descriptions of Time-Series Constraints. ICTAI María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
2017	J	`jnl`	Control With Minimal Cost-Per-Symbol Encoding and Quasi-Optimality of Event-Based Encoders. IEEE Trans. Autom. Control. Justin Pearson, João Pedro Hespanha, Daniel Liberzon
2017	B	`conf`	Design and Implementation of Bounded-Length Sequence Variables. CPAIOR Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte
2017	—	`conf`	Modelling and Verification of User Interactions Using Constraint Programming. QRS Companion Mats Carlsson, Olga Grinchtein, Justin Pearson
2016	J	`jnl`	A parametric propagator for pairs of Sum constraints with a discrete convexity property. Artif. Intell. Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson
2016	J	`jnl`	Global Constraint Catalog, Volume II, Time-Series Constraints. CoRR Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
2016	C	`conf`	MiniZinc with Strings. LOPSTR Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
2016	J	`jnl`	MiniZinc with Strings. CoRR Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
2016	A	`conf`	Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. CP Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
2016	B	`conf`	Time-Series Constraints: Improvements and Application in CP and MIP Contexts. CPAIOR Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
2015	—	`conf`	A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. TAP@STAF Olga Grinchtein, Mats Carlsson, Justin Pearson
2015	—	`conf`	A Modelling Pearl with Sortedness Constraints. GCAI Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme
2015	J	`jnl`	A constraint-based local search backend for MiniZinc. Constraints An Int. J. Gustav Björdal, Jean-Noël Monette, Pierre Flener, Justin Pearson
2015	A	`conf`	Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation. CP Jean-Noël Monette, Pierre Flener, Justin Pearson
2015	B	`conf`	Constraint Solving on Bounded String Variables. CPAIOR Joseph D. Scott, Pierre Flener, Justin Pearson
2015	—	`conf`	Implied Constraints for Automaton Constraints. GCAI María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
2015	—	`conf`	Quasi-optimality of event-based encoders. CDC Justin Pearson, João Pedro Hespanha, Daniel Liberzon
2015	—	`conf`	Testing of a telecommunication protocol using constraint programming. ICST Workshops Olga Grinchtein, Mats Carlsson, Justin Pearson
2014	—	`conf`	A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming. SENSORNETS Farshid Hassani Bijarbooneh, Animesh Pathak, Justin Pearson, Valérie Issarny, Bengt Jonsson
2014	A*	`conf`	A Propagator Design Framework for Constraints over Sequences. AAAI Jean-Noël Monette, Pierre Flener, Justin Pearson
2014	—	`conf`	Control with minimum communication cost per symbol. CDC Justin Pearson, João Pedro Hespanha, Daniel Liberzon
2014	A	`conf`	Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. CP Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson
2014	A	`conf`	Model-based protocol log generation for testing a telecommunication test harness using CLP. DATE Kenneth Balck, Olga Grinchtein, Justin Pearson
2014	A*	`conf`	Propagating Regular Counting Constraints. AAAI Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
2014	J	`jnl`	Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation. CoRR Pierre Flener, Justin Pearson
2014	—	`conf`	Protocol Log Analysis with Constraint Programming. SMT Mats Carlsson, Olga Grinchtein, Justin Pearson
2014	J	`jnl`	Toward sustainable development in constraint programming. Constraints An Int. J. Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis
2013	A	`conf`	A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. CP Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson
2013	J	`jnl`	Automatic Airspace Sectorisation: A Survey. CoRR Pierre Flener, Justin Pearson
2013	B	`conf`	Bounded Strings for Constraint Programming. ICTAI Joseph D. Scott, Pierre Flener, Justin Pearson
2013	B	`conf`	Generation of Implied Constraints for Automaton-Induced Decompositions. ICTAI María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
2013	J	`jnl`	On matrices, automata, and double counting in constraint programming. Constraints An Int. J. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
2013	J	`jnl`	On the reification of global constraints. Constraints An Int. J. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
2013	B	`conf`	Optimising quality of information in data collection for mobile sensor networks. IWQoS Farshid Hassani Bijarbooneh, Pierre Flener, Edith Cheuk-Han Ngai, Justin Pearson
2013	J	`jnl`	Propagating Regular Counting Constraints. CoRR Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
2013	A	`conf`	Solving String Constraints: The Case for Constraint Programming. CP Jun He, Pierre Flener, Justin Pearson, Weiming Zhang
2013	J	`jnl`	Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint. J. Heuristics Jun He, Pierre Flener, Justin Pearson
2012	B	`conf`	An optimisation-based approach for wireless sensor deployment in mobile sensing environments. WCNC Farshid Hassani Bijarbooneh, Pierre Flener, Edith C. H. Ngai, Justin Pearson
2012	Misc	`conf`	Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. SAC Toni Mancini, Pierre Flener, Justin Pearson
2012	J	`jnl`	Constraint programming for air traffic management: a survey - In memory of Pascal Brisset. Knowl. Eng. Rev. Cyril Allignol, Nicolas Barnier, Pierre Flener, Justin Pearson
2012	J	`jnl`	Constraint programming for air traffic management: preface. Knowl. Eng. Rev. Pierre Flener, Justin Pearson, Marc Bourgois
2012	Misc	`conf`	Solution neighbourhoods for constraint-directed local search. SAC Jun He, Pierre Flener, Justin Pearson
2012	A	`conf`	Towards Solver-Independent Propagators. CP Jean-Noël Monette, Pierre Flener, Justin Pearson
2011	J	`jnl`	An automaton Constraint for Local Search. Fundam. Informaticae Jun He, Pierre Flener, Justin Pearson
2010	A	`conf`	Contingency Plans for Air Traffic Management. CP Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson
2010	B	`conf`	On Matrices, Automata, and Double Counting. CPAIOR Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
2009	—	`conf`	Constrained Optimization Over Massive Databases. RCRA@AI*IA Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson
2009	—	`conf`	Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results LSCS Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson
2009	J	`jnl`	Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints An Int. J. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren
2009	J	`jnl`	Revisiting constraint-directed search. Inf. Comput. Magnus Ågren, Pierre Flener, Justin Pearson
2009	J	`jnl`	Solving necklace constraint problems. J. Algorithms Pierre Flener, Justin Pearson
2009	J	`jnl`	Static and dynamic structural symmetry breaking. Ann. Math. Artif. Intell. Pierre Flener, Justin Pearson, Meinolf Sellmann
2009	—	`conf`	Toward an automaton Constraint for Local Search LSCS Jun He, Pierre Flener, Justin Pearson
2008	A	`conf`	Solving Necklace Constraint Problems. ECAI Pierre Flener, Justin Pearson
2007	J	`jnl`	Design of Financial CDO Squared Transactions Using Constraint Programming. Constraints An Int. J. Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson
2007	J	`jnl`	Generic Incremental Algorithms for Local Search. Constraints An Int. J. Magnus Ågren, Pierre Flener, Justin Pearson
2006	A	`conf`	Inferring Variable Conflicts for Local Search. CP Magnus Ågren, Pierre Flener, Justin Pearson
2006	A	`conf`	Static and Dynamic Structural Symmetry Breaking. CP Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck
2005	—	`conf`	Compositional Derivation of Symmetries for Constraint Satisfaction. SARA Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
2005	A	`conf`	Incremental Algorithms for Local Search from Existential Second-Order Logic. CP Magnus Ågren, Pierre Flener, Justin Pearson
2005	B	`conf`	Set Variables and Local Search. CPAIOR Magnus Ågren, Pierre Flener, Justin Pearson
2004	A	`conf`	Financial Portfolio Optimisation. CP Pierre Flener, Justin Pearson, Luis G. Reyna
2004	—	`conf`	Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes. AI&M Justin Pearson
2003	A	`conf`	Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. CP Pierre Flener, Justin Pearson, Magnus Ågren
2003	C	`conf`	Introducing esra, a Relational Language for Modelling Combinatorial Problems. LOPSTR Pierre Flener, Justin Pearson, Magnus Ågren
2003	A*	`conf`	Tractable Symmetry Breaking for CSPs with Interchangeable Values. IJCAI Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
2002	A	`conf`	Breaking Row and Column Symmetries in Matrix Models. CP Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh
1999	J	`jnl`	Clock Difference Diagrams. Nord. J. Comput. Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
1999	A	`conf`	Closure Functions and Width 1 Problems. CP Víctor Dalmau, Justin Pearson
1999	A*	`conf`	Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
1998	J	`jnl`	Constraints and Universal Algebra. Ann. Math. Artif. Intell. Peter Jeavons, David A. Cohen, Justin Pearson