The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Peter J. Stuckey Peter James Stuckey ( http://dblp.L3S.de/Authors/Peter_J._Stuckey )

URL (Homepage):  http://www.cs.mu.oz.au/~pjs/  Author page on DBLP  Author page in RDF  Community of Peter J. Stuckey in ASPL-2

Publication years (Num. hits)
1986-1991 (18) 1992-1994 (21) 1995-1996 (15) 1997-1998 (18) 1999-2000 (15) 2001-2002 (25) 2003-2004 (32) 2005 (16) 2006 (19) 2007-2008 (38) 2009 (17) 2010-2011 (31) 2012 (20) 2013 (26) 2014 (25) 2015 (20) 2016 (24) 2017-2018 (41) 2019 (15)
Publication types (Num. hits)
article(155) incollection(3) inproceedings(272) proceedings(6)
Venues (Conferences, Journals, ...)
CP(56) CoRR(42) CPAIOR(31) ICLP(24) Constraints(22) PPDP(12) TPLP(10) ACM Trans. Program. Lang. Syst...(9) FLOPS(7) INFORMS Journal on Computing(7) ICAPS(6) IJCAI(6) J. Log. Program.(6) AAAI(5) Graph Drawing(5) LOPSTR(5) More (+10 of total 133)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 104 occurrences of 74 keywords

Results
Found 437 publication records. Showing 436 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey Constraints for symmetry breaking in graph representation. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Compiling CP subproblems to MDDs and d-DNNFs. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michelle L. Blom, Peter J. Stuckey, Vanessa Teague Risk-Limiting Audits for IRV Elections. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Hang Ma 0001, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig Extended Abstract: Searching with Consistent Prioritization for Multi-Agent Path Finding. Search on Bibsonomy SOCS The full citation details ... 2019 DBLP  BibTeX  RDF
1Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma 0001, Sven Koenig Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding. Search on Bibsonomy SOCS The full citation details ... 2019 DBLP  BibTeX  RDF
1Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey Optimal context-sensitive dynamic partial order reduction with observers. Search on Bibsonomy ISSTA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Daniel Harabor, Peter J. Stuckey Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma 0001, Sven Koenig Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Mattia Chiari, Shizhe Zhao, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Matteo Salvetti, Peter J. Stuckey Cutting the Size of Compressed Path Databases with Wildcards and Redundant Symbols. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Fred Mesnard, Peter J. Stuckey (eds.) Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Moli Yang, Andreas Schutt, Peter J. Stuckey Time Table Edge Finding with Energy Variables. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emir Demirovic, Peter J. Stuckey, James Bailey 0001, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns An Investigation into Prediction + Optimisation for the Knapsack Problem. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Timo Berthold, Peter J. Stuckey, Jakob Witzig Local Rapid Learning for Integer Programs. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Constraint Programming for Dynamic Symbolic Execution of JavaScript. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Emir Demirovic, Peter J. Stuckey Core-Boosted Linear Search for Incomplete MaxSAT. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Kreter, Andreas Schutt, Peter J. Stuckey, Jürgen Zimmermann 0001 Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems. Search on Bibsonomy European Journal of Operational Research The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Peter J. Stuckey Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Hang Ma 0001, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig Searching with Consistent Prioritization for Multi-Agent Path Finding. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tias Guns, Peter J. Stuckey, Guido Tack Solution Dominance over Constraint Satisfaction Problems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Precondition Inference via Partitioning of Initial States. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Reference Abstract Domains and Applications to String Analysis. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague Computing the Margin of Victory in Preferential Parliamentary Elections. Search on Bibsonomy E-Vote-ID The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague Ballot-Polling Risk Limiting Audits for IRV Elections. Search on Bibsonomy E-Vote-ID The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Damir Harabor, Peter J. Stuckey Forward Search in Contraction Hierarchies. Search on Bibsonomy SOCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey 0001, Christopher Leckie, Kotagiri Ramamohanarao, Laurence A. F. Park Semi-supervised Blockmodelling with Pairwise Guidance. Search on Bibsonomy ECML/PKDD (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey Breaking Symmetries with Lex Implications. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack Declarative Local-Search Neighbourhoods in MiniZinc. Search on Bibsonomy ICTAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emir Demirovic, Geoffrey Chu, Peter J. Stuckey Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Propagating Regular Membership with Dashed Strings. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey Sequential Precede Chain for Value Symmetry Elimination. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack Solver-Independent Large Neighbourhood Search. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohadeseh Ganji, James Bailey 0001, Peter J. Stuckey Lagrangian Constrained Community Detection. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Sweep-Based Propagation for String Constraint Solving. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Nysret Musliu, Andreas Schutt, Peter J. Stuckey Solver Independent Rotating Workforce Scheduling. Search on Bibsonomy CPAIOR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Propagating lex, find and replace with Dashed Strings. Search on Bibsonomy CPAIOR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emir Demirovic, Peter J. Stuckey Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. Search on Bibsonomy CPAIOR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey 0001, Christopher Leckie, Kotagiri Ramamohanarao, Ian Davidson Image Constrained Blockmodelling: A Constraint Programming Approach. Search on Bibsonomy SDM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J. Stuckey Data instance generator and optimization models for evacuation planning in the event of wildfire. Search on Bibsonomy RSFF The full citation details ... 2018 DBLP  BibTeX  RDF
1David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter J. Stuckey Optimal Sankey Diagrams Via Integer Programming. Search on Bibsonomy PacificVis The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Kreter, Andreas Schutt, Peter J. Stuckey Using constraint programming for solving RCPSP/max-cal. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague Towards Computing Victory Margins in STV Elections. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Michelle L. Blom, Peter J. Stuckey, Vanessa Teague Computing the Margin of Victory in Preferential Parliamentary Elections. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1James H. Collier, Lloyd Allison, Arthur M. Lesk, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu Statistical inference of protein structural alignments using information and compression. Search on Bibsonomy Bioinformatics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Pierre Ganty, Peter J. Stuckey Fixing the State Budget: Approximation of Regular Languages with Small DFAs. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Combining String Abstract Domains for JavaScript Analysis: An Evaluation. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey Context-Sensitive Dynamic Partial Order Reduction. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohadeseh Ganji, James Bailey 0001, Peter J. Stuckey A Declarative Approach to Constrained Community Detection. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack A Novel Approach to String Constraint Solving. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Toby O. Davies, Graeme Gange, Peter J. Stuckey Automatic Logic-Based Benders Decomposition with MiniZinc. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Minimizing Landscape Resistance for Habitat Conservation. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey Range-Consistent Forbidden Regions of Allen's Relations. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ramanan Subramanian, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M. Lesk, Arun Siddharth Konagurthu Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes. Search on Bibsonomy DCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michelle L. Blom, Adrian R. Pearce, Peter J. Stuckey A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods. Search on Bibsonomy Management Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack MiniZinc with Strings. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A complete refinement procedure for regular separability of context-free languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Exploiting Sparsity in Difference-Bound Matrices. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An Abstract Domain of Uninterpreted Functions. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Schutt, Peter J. Stuckey Explaining Producer/Consumer Constraints. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey A Bounded Path Propagator on Directed Graphs. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey Breaking Symmetries in Graphs: The Nauty Way. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thibaut Feydy, Peter J. Stuckey Interval Constraints with Learning: Application to Air Traffic Control. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace 0001 Improved Linearization of Constraint Programming Models. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Steiner Tree Problems with Side Constraints Using Constraint Programming. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack MiniZinc with Strings. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey Symmetry declarations for MiniZinc. Search on Bibsonomy ACSW The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Weighted Spanning Tree Constraint with Explanations. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Geoffrey Chu, Graeme Gange, Peter J. Stuckey Lagrangian Decomposition via Sub-problem Search. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wenxi Wang, Harald Søndergaard, Peter J. Stuckey A Bit-Vector Solver with Word-Level Propagation. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey On CNF Encodings of Decision Diagrams. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thorsten Ehlers, Peter J. Stuckey Parallelizing Constraint Programming with Learning. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Harabor, Peter J. Stuckey Rail Capacity Modelling with Constraint Programming. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohadeseh Ganji, James Bailey 0001, Peter J. Stuckey Lagrangian Constrained Clustering. Search on Bibsonomy SDM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey Constraint Propagation and Explanation over Novel Types by Abstract Compilation. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar Efficient Computation of Exact IRV Margins. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter J. Stuckey Discrete Optimization for Agents. Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky Sequencing Operator Counts. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J. Stuckey Automatic Minimal-Height Table Layout. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes Two type extensions for the constraint modeling language MiniZinc. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey Lazy Model Expansion: Interleaving Grounding with Search. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Geoffrey Chu, Peter J. Stuckey Dominance breaking constraints. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey Projected Model Counting. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nicholas Downing, Thibaut Feydy, Peter J. Stuckey Unsatisfiable Cores and Lower Bounding for Constraint Programming. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Ron Tidhar Efficient Computation of Exact IRV Margins. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Horn clauses as an intermediate representation for program analysis and transformation. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohadeseh Ganji, Abbas Seifi, Hosein Alizadeh, James Bailey 0001, Peter J. Stuckey Generalized Modularity for Community Detection. Search on Bibsonomy ECML/PKDD (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Tool for Intersecting Context-Free Grammars and Its Applications. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Kreter, Andreas Schutt, Peter J. Stuckey Modeling and Solving Project Scheduling with Calendars. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey Encoding Linear Constraints with Implication Chains to CNF. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky Sequencing Operator Counts. Search on Bibsonomy ICAPS The full citation details ... 2015 DBLP  BibTeX  RDF
1Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, Peter J. Stuckey Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Geoffrey Chu, Peter J. Stuckey Learning Value Heuristics for Constraint Programming. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey #∃SAT: Projected Model Counting. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey Stable Model Counting and Its Application in Probabilistic Logic Programming. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 436 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license