The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nina Narodytska" ( http://dblp.L3S.de/Authors/Nina_Narodytska )

URL (Homepage):  http://www.cse.unsw.edu.au/~ninan/  Author page on DBLP  Author page in RDF  Community of Nina Narodytska in ASPL-2

Publication years (Num. hits)
2007-2009 (19) 2010-2011 (17) 2012-2013 (28) 2014-2015 (20) 2016-2018 (20) 2019 (8)
Publication types (Num. hits)
article(46) incollection(1) inproceedings(64) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(40) IJCAI(14) AAAI(11) CP(7) AAMAS(6) CPAIOR(4) ECAI(4) SAT(3) Australasian Conference on Art...(2) FMCAD(2) Annals OR(1) Artif. Intell.(1) CAV(1) CAV (2)(1) Constraints(1) CSCLP(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 113 publication records. Showing 112 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alexey Ignatiev, Nina Narodytska, João Marques-Silva On Validating, Repairing and Refining Heuristic ML Explanations. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Lalith Suresh, João Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv Automating Cluster Management with Weave. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva Abduction-Based Explanations for Machine Learning Models. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv Simple and precise static analysis of untrusted Linux kernel extensions. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva Assessing Heuristic Machine Learning Explanations with Model Counting. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc BDD-Based Algorithms for Packet Classification. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weili Nie, Nina Narodytska, Ankit Patel RelGAN: Relational Generative Adversarial Networks for Text Generation. Search on Bibsonomy ICLR (Poster) The full citation details ... 2019 DBLP  BibTeX  RDF
1Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki Synthesizing Cluster Management Code for Distributed Systems. Search on Bibsonomy HotOS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella Automated Verification of Neural Networks: Advances, Challenges and Perspectives. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexey Ignatiev, Nina Narodytska, João Marques-Silva Abduction-Based Explanations for Machine Learning Models. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh Verifying Properties of Binarized Deep Neural Networks. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva A SAT-Based Approach to Learn Explainable Decision Sets. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nina Narodytska Formal Verification of Deep Neural Networks. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva Learning Optimal Decision Trees with SAT. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nina Narodytska Formal Analysis of Deep Binarized Neural Networks. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Nikolaj Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv Core-Guided Minimal Correction Set and Core Enumeration. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin Network Approximation using Tensor Sketching. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin Deep Neural Network Approximation using Tensor Sketching. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh Verifying Properties of Binarized Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nina Narodytska, Shiva Prasad Kasiviswanathan Simple Black-Box Adversarial Attacks on Deep Neural Networks. Search on Bibsonomy CVPR Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Shiva Prasad Kasiviswanathan Simple Black-Box Adversarial Perturbations for Deep Networks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein 0001, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. Search on Bibsonomy SYNT@CAV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Thierry Petit, Mohamed Siala 0002, Toby Walsh Three generalizations of the FOCUS constraint. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh New Approaches to Constraint Acquisition. Search on Bibsonomy Data Mining and Constraint Programming The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Legg, Nina Narodytska, Leonid Ryzhyk A SAT-Based Counterexample Guided Method for Unbounded Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Omer Reingold, Nina Narodytska Adaptive Condorcet-Based Stopping Rules Can Be Efficient. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Haris Aziz 0001, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh Manipulating the Probabilistic Serial Rule. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Haris Aziz 0001, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh Equilibria Under the Probabilistic Serial Rule. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk SAT-Based Strategy Extraction in Reachability Games. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Haris Aziz 0001, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh Equilibria Under the Probabilistic Serial Rule. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Nina Narodytska Maximum Satisfiability Using Cores and Correction Sets. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh Controlling Elections by Replacing Candidates or Votes. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Haris Aziz 0001, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh Manipulating the Probabilistic Serial Rule. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Toby Walsh The Computational Impact of Partial Votes on Strategic Voting. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Haris Aziz 0001, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh Strategic aspects of the probabilistic serial rule for the allocation of goods. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi The Complexity of Integer Bound Propagation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker Solving Games without Controllable Predecessor. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh Reasoning about Constraint Models. Search on Bibsonomy PRICAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Fahiem Bacchus Maximum Satisfiability Using Core-Guided MaxSAT Resolution. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh Controlling Elections by Replacing Candidates: Theoretical and Experimental Results. Search on Bibsonomy MPREF@AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Joel Oren, Nina Narodytska, Craig Boutilier A Game-Theoretic Analysis of Catalog Optimization. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Nina Narodytska, Toby Walsh The Computational Impact of Partial Votes on Strategic Voting. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicholas Mattei, Nina Narodytska, Toby Walsh How Hard Is It to Control an Election by Breaking Ties? Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Nina Narodytska Cores in Core Based MaxSat Algorithms: An Analysis. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh Possible and necessary winner problem in social polls. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael R. Fellows, Tobias Friedrich 0001, Danny Hermelin, Nina Narodytska, Frances A. Rosamond Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh Possible and Necessary Winner Problem in Social Polls Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Kalinowski, Nina Narodytska, Toby Walsh A Social Welfare Optimal Sequential Allocation Procedure Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh Coalitional Manipulation for Schulze's Rule Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Nina Narodytska, Toby Walsh Breaking Symmetry with Different Orderings. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Nina Narodytska, Peter Skocovsky, Toby Walsh Global SPACING Constraint (Technical Report) Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Nicholas Mattei, Nina Narodytska, Toby Walsh How hard is it to control an election by breaking ties? Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Nina Narodytska, Thierry Petit, Mohamed Siala 0002, Toby Walsh Three Generalizations of the FOCUS Constraint Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Nina Narodytska, Toby Walsh An Adaptive Model Restarts Heuristic. Search on Bibsonomy CPAIOR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia Strategic Behavior when Allocating Indivisible Goods Sequentially. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Haris Aziz 0001, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Nina Narodytska, Toby Walsh Breaking Symmetry with Different Orderings. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Constraint Acquisition via Partial Queries. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh On the Complexity of Global Scheduling Constraints under Structural Restrictions. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Kalinowski, Nina Narodytska, Toby Walsh A Social Welfare Optimal Sequential Allocation Procedure. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Nina Narodytska, Thierry Petit, Mohamed Siala 0002, Toby Walsh Three Generalizations of the FOCUS Constraint. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh Coalitional manipulation for Schulze's rule. Search on Bibsonomy AAMAS The full citation details ... 2013 DBLP  BibTeX  RDF
1Nina Narodytska, Toby Walsh Manipulating two stage voting rules. Search on Bibsonomy AAMAS The full citation details ... 2013 DBLP  BibTeX  RDF
1Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh Possible and necessary winner problem in social polls. Search on Bibsonomy AAMAS The full citation details ... 2013 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh The SeqBin Constraint Revisited Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Jessica Davies, Nina Narodytska, Toby Walsh Eliminating the Weakest Link: Making Manipulation Intractable? Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nina Narodytska, Toby Walsh, Lirong Xia Combining Voting Rules Together Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Ronald de Haan, Nina Narodytska, Toby Walsh The RegularGcc Matrix Constraint Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Jessica Davies, Nina Narodytska, Toby Walsh Eliminating the Weakest Link: Making Manipulation Intractable? Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Nina Narodytska, Toby Walsh, Lirong Xia Combining Voting Rules Together. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh The SeqBin Constraint Revisited. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lucas Bordeaux, Nina Narodytska On the Violation of Circuits in Decomposable Negation Normal Form. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Nina Narodytska, Toby Walsh The RegularGcc Matrix Constraint. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh The weighted Grammar constraint. Search on Bibsonomy Annals OR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi The Complexity of Integer Bound Propagation. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh The AllDifferent Constraint with Precedences Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Nina Narodytska, Toby Walsh, Lirong Xia Manipulation of Nanson's and Baldwin's Rules Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh Complexity of and Algorithms for Borda Manipulation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh The AllDifferent Constraint with Precedences. Search on Bibsonomy CPAIOR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Toby Walsh, Lirong Xia Manipulation of Nanson's and Baldwin's Rules. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh Complexity of and Algorithms for Borda Manipulation. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael R. Fellows, Tobias Friedrich 0001, Danny Hermelin, Nina Narodytska, Frances A. Rosamond Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nina Narodytska Reformulation of global constraints. Search on Bibsonomy 2011   RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh An Empirical Study of Borda Manipulation Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Propagating Conjunctions of AllDifferent Constraints Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Decomposition of the NVALUE constraint Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Propagating Conjunctions of AllDifferent Constraints. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Decomposition of the NValue Constraint. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Flow-Based Propagators for the SEQUENCE and Related Global Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh Restricted Global Grammar Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Decomposition of the NVALUE constraint Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh Combining Symmetry Breaking and Global Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh Breaking Generator Symmetry Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh Reformulating Global Grammar Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh The Weighted CFG Constraint Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 112 (100 per page; Change: )
Pages: [1][2][>>]
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