Guillaume Escamocher

30 papers A* 2A 5B 4C 1Journal 16Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Determining the Most Promising Selective Backbone Size for Partial Knowledge Compilation. CPAIOR (1) Andrea Balogh, Guillaume Escamocher, Barry O'Sullivan
2025	J	`jnl`	Interactive preference elicitation under noisy preference models: An efficient non-Bayesian approach. Int. J. Approx. Reason. Guillaume Escamocher, Samira Pourkhajouei, Federico Toffano, Paolo Viappiani, Nic Wilson
2023	J	`jnl`	Computing relaxations for the three-dimensional stable matching problem with cyclic preferences. Constraints An Int. J. Ágnes Cseh, Guillaume Escamocher, Luis Quesada
2023	A	`conf`	Partial Compilation of SAT Using Selective Backbones. ECAI Andrea Balogh, Guillaume Escamocher, Barry O'Sullivan
2022	J	`jnl`	A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences. Constraints An Int. J. Ágnes Cseh, Guillaume Escamocher, Begüm Genç, Luis Quesada
2022	A	`conf`	Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences. CP Ágnes Cseh, Guillaume Escamocher, Luis Quesada
2022	J	`jnl`	Generation and Prediction of Difficult Model Counting Instances. CoRR Guillaume Escamocher, Barry O'Sullivan
2022	J	`jnl`	Regular pattern-free coloring. Discret. Appl. Math. Guillaume Escamocher, Barry O'Sullivan
2021	A	`conf`	A Collection of Constraint Programming Models for the Three-Dimensional Stable Matching Problem with Cyclic Preferences. CP Ágnes Cseh, Guillaume Escamocher, Begüm Genç, Luis Quesada
2021	J	`jnl`	Leprechauns on the chessboard. Discret. Math. Guillaume Escamocher, Barry O'Sullivan
2020	J	`jnl`	Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. Int. J. Artif. Intell. Tools Mark Antunes, Vincent Armant, Kenneth N. Brown, Daniel A. Desmond, Guillaume Escamocher, Anne-Marie George, Diarmuid Grimes, Mike O'Keeffe, Yiqing Lin, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Mohamed Siala, Helmut Simonis, Nic Wilson
2020	J	`jnl`	Generating Difficult CNF Instances in Unexplored Constrainedness Regions. ACM J. Exp. Algorithmics Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich
2019	J	`jnl`	Generating Difficult SAT Instances by Preventing Triangles. CoRR Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich
2019	J	`jnl`	Solving Logic Grid Puzzles with an Algorithm that Imitates Human Behavior. CoRR Guillaume Escamocher, Barry O'Sullivan
2018	B	`conf`	Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. ICTAI Mark Antunes, Vincent Armant, Kenneth N. Brown, Daniel A. Desmond, Guillaume Escamocher, Anne-Marie George, Diarmuid Grimes, Mike O'Keeffe, Yiqing Lin, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Mohamed Siala, Helmut Simonis, Nic Wilson
2018	B	`conf`	Constrainedness in Stable Matching. ICTAI Guillaume Escamocher, Barry O'Sullivan
2018	B	`conf`	From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP. CPAIOR Guillaume Escamocher, Mohamed Siala, Barry O'Sullivan
2018	J	`jnl`	Pushing the frontier of minimality. Theor. Comput. Sci. Guillaume Escamocher, Barry O'Sullivan
2018	B	`conf`	Three-Dimensional Matching Instances Are Rich in Stable Matchings. CPAIOR Guillaume Escamocher, Barry O'Sullivan
2016	J	`jnl`	Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems. Artif. Intell. Martin C. Cooper, Aymeric Duchein, Achref El Mouelhi, Guillaume Escamocher, Cyril Terrioux, Bruno Zanuttini
2015	A	`conf`	Broken Triangles Revisited. CP Martin C. Cooper, Aymeric Duchein, Guillaume Escamocher
2015	J	`jnl`	Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns. Discret. Appl. Math. Martin C. Cooper, Guillaume Escamocher
2015	C	`conf`	On the Minimal Constraint Satisfaction Problem: Complexity and Generation. COCOA Guillaume Escamocher, Barry O'Sullivan
2015	J	`jnl`	Variable and value elimination in binary constraint satisfaction via forbidden patterns. CoRR David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
2015	J	`jnl`	Variable and value elimination in binary constraint satisfaction via forbidden patterns. J. Comput. Syst. Sci. David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
2013	A*	`conf`	Variable Elimination in Binary CSP via Forbidden Patterns. IJCAI David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
2012	A	`conf`	A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. CP Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
2012	J	`jnl`	A Dichotomy for 2-Constraint Forbidden CSP Patterns CoRR Martin C. Cooper, Guillaume Escamocher
2012	A*	`conf`	A Dichotomy for 2-Constraint Forbidden CSP Patterns. AAAI Martin C. Cooper, Guillaume Escamocher
2009	—	`conf`	Existence and computation of equilibria of first-price auctions with integral valuations and bids. AAMAS (2) Guillaume Escamocher, Peter Bro Miltersen, Rocio Santillan R.