Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1601.02865
Cited By
Essence' Description
12 January 2016
P. Nightingale
Andrea Rendl
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Essence' Description"
6 / 6 papers shown
Automating Reformulation of Essence Specifications via Graph Rewriting
Ian Miguel
András Z. Salamon
Christopher Stone
57
0
0
14 Nov 2024
Towards Automatic Design of Factorio Blueprints
Sean Patterson
Joan Espasa
Mun See Chang
Ruth Hoffmann
72
1
0
02 Oct 2023
A Preliminary Case Study of Planning With Complex Transitions: Plotting
Jordi Coll
Joan Espasa
Ian Miguel
Mateu Villaret
79
0
0
27 Oct 2021
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
Miquel Bofill
Jordi Coll
Peter William Nightingale
Josep Suy
Felix Ulrich-Oltean
Mateu Villaret
182
14
0
15 Oct 2021
Efficient Incremental Modelling and Solving
Gökberk Koçak
Ozgur Akgun
Nguyen Dang
Ian Miguel
78
0
0
23 Sep 2020
Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem
Patrick Spracklen
Nguyen Dang
Ozgur Akgun
Ian Miguel
153
4
0
21 Sep 2020
1
Page 1 of 1
