|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13289 occurrences of 5329 keywords
|
|
|
Results
Found 33126 publication records. Showing 33126 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Terry Cumaranatunge, Ethan V. Munson |
Memory Scalability in Constraint-Based Multimedia Style Sheet Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EP ![In: Electronic Publishing, Artistic Imaging, and Digital Typography, 7th International Conference on Electronic Publishing, EP '98, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March 30 - April 3, 1998, Proceedings, pp. 381-391, 1998, Springer, 3-540-64298-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Nagu R. Dhanwada, Ranga Vemuri |
Constraint Allocation in Analog System Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 11th International Conference on VLSI Design (VLSI Design 1991), 4-7 January 1998, Chennai, India, pp. 253-258, 1998, IEEE Computer Society, 0-8186-8224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003 |
Error-Correcting Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 40-54, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Ranga Vemuri, R. Kalyanaraman |
Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 3(2), pp. 201-214, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Marianne Baudinet, Jan Chomicki, Pierre Wolper |
Constraint-Generating Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings, pp. 322-337, 1995, Springer, 3-540-58907-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Sin Yeung Lee, Tok Wang Ling |
Improving Integrity Constraint Checking for Stratified Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 5th International Conference, DEXA '94, Athens, Greece, September 7 - 9, 1994, Proceedings, pp. 591-600, 1994, Springer, 3-540-58435-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Pierre Lim, Peter J. Stuckey |
A Constraint Logic Programming Shell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 75-88, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Paul Maier, Martin Sachenbacher |
Constraint Optimization and Abstraction for Embedded Intelligent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings, pp. 338-342, 2008, Springer, 978-3-540-68154-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated abstraction, embedded systems, decomposition, heuristic search, Constraint optimization |
26 | Rosella Gennari, Ornella Mich |
Constraint-Based Temporal Reasoning for E-Learning with LODE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 90-104, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated temporal reasoning, e-learning, assistive technology, constraint programming |
26 | Ayoub Insa Corréa, André Langevin, Louis-Martin Rousseau |
Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, pp. 370-379, 2004, Springer, 3-540-21836-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
material handling systems, routing, constraint programming, hybrid model, Automated guided vehicles |
26 | Carla P. Gomes, Meinolf Sellmann |
Streamlined Constraint Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 274-289, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
branching strategies, search, constraint reasoning |
26 | Viet Nguyen, Djamila Sam-Haroud, Boi Faltings |
Dynamic Distributed BackJumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers, pp. 71-85, 2004, Springer, 3-540-25176-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Distributed Systems, Multi-Agent Systems, Search, Constraint Satisfaction |
26 | Ali Dasdan |
A strongly polynomial-time algorithm for over-constraint resolution: efficient debugging of timing constraint violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Tenth International Symposium on Hardware/Software Codesign, CODES 2002, Estes Park, Colorado, USA, May 6-8, 2002, pp. 127-132, 2002, ACM, 1-58113-542-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis |
25 | Manuel Bodirsky, Hubie Chen |
Relatively quantified constraint satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(1), pp. 3-15, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quantified constraint satisfaction, Computational complexity |
25 | Thomas T. Hildebrandt, Hugo A. López 0001 |
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 417-431, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming |
25 | Ákos Horváth 0001, Dániel Varró |
CSP(M): Constraint Satisfaction Problem over Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 107-121, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Constraint satisfaction programming, graph transformation |
25 | Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko Sakurai, Atsushi Iwasaki, Makoto Yokoo |
Coalition Structure Generation Utilizing Compact Characteristic Function Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 623-638, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
coalition structure generation, Multiagent systems, constraint optimization |
25 | Wolfgang Achtziger, Christian Kanzow |
Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 114(1), pp. 69-99, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Vanishing constraints, Constrained optimization, Optimality conditions, Structural optimization, Constraint qualifications, Mathematical programs with equilibrium constraints |
25 | Emilie Charrier, Lilian Buzer |
Reducing the Coefficients of a Two-Dimensional Integer Linear Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: Combinatorial Image Analysis, 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings, pp. 205-216, 2008, Springer, 978-3-540-78274-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
integer convex hull, Bezout identity, logarithmic time complexity, Linear constraint, continued fraction |
25 | Luc De Raedt, Tias Guns, Siegfried Nijssen |
Constraint programming for itemset mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Las Vegas, Nevada, USA, August 24-27, 2008, pp. 204-212, 2008, ACM, 978-1-60558-193-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
constraint programming, itemset mining |
25 | Arnaud Gotlieb, Matthieu Petit |
Constraint Reasoning in Path-Oriented Random Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 168-171, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Random Testing, Constraint reasoning, Path Testing |
25 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Program analysis as constraint solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 281-292, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis |
25 | Sun Meng, Farhad Arbab |
Web services choreography and orchestration in Reo and constraint automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 346-353, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
web services, orchestration, choreography, Reo, constraint automata |
25 | Malek Mouhoub, Amrudee Sukpan |
Solving conditional and composite constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 336-337, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
local search, constraint satisfaction, arc consistency |
25 | Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth |
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 58-64, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CHR (Constraint Handling Rules), first-order constraints solving, theory of finite or infinite trees, Prolog, unification |
25 | Daniel Große, Rüdiger Ebendt, Rolf Drechsler |
Improvements for constraint solving in the systemc verification library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 493-496, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
constraint-based randomization, systemC verification library, systemC |
25 | David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 11(2-3), pp. 115-137, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Symmetry, Constraint satisfaction problems |
25 | Nikolai Kosmatov |
A constraint solver for sequences and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 404-408, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
verification, validation, sequences, constraint solver |
25 | Ozcan Ozturk 0001, Guilin Chen, Mahmut T. Kandemir |
Optimizing code parallelization through a constraint network based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 863-688, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
compiler, constraint network, chip multiprocessing |
25 | Anton Chechetka, Katia P. Sycara |
A decentralized variable ordering method for distributed constraint optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1307-1308, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
constraint satisfaction |
25 | Robert P. Bosch Jr., Michael A. Trick |
Constraint Programming and Hybrid Formulations for Three Life Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 130(1-4), pp. 41-56, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
hybrid formulation, cellular automata, integer programming, constraint programming, game of Life |
25 | Slim Abdennadher, Christophe Rigotti |
Automatic generation of rule-based constraint solvers over finite domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(2), pp. 177-205, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Rule-based constraint programming, generation of solvers, finite domains |
25 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A constraint solver to animate a B specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(2), pp. 143-157, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints |
25 | Andrew Fish, John Howse |
Towards a Default Reading for Constraint Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 51-65, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constraint diagrams, formal methods, software specification, diagrammatic reasoning, Visual formalisms |
25 | Peter Zoeteweij, Farhad Arbab |
A Component-Based Parallel Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings, pp. 307-322, 2004, Springer, 3-540-21044-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
parallelization, coordination, constraint solving, component-based software engineering |
25 | Yan-Tao Li, Shi-Min Hu 0001, Jia-Guang Sun 0001 |
On the Numerical Redundancies of Geometric Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 9th Pacific Conference on Computer Graphics and Applications, PG 2001, Tokyo, Japan, October 16-18, 2001, pp. 118-123, 2001, IEEE Computer Society, 0-7695-1227-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
numerical redundancies, geometric constraint, graph reduction |
25 | Abdulwahed M. Abbas, Edward P. K. Tsang |
Constraint-Based Timetabling-A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 67-72, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
software engineering, Constraint-Satisfaction, timetabling |
25 | Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou |
Symbolic-interval cooperation in constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001, pp. 150-166, 2001, ACM, 1-58113-417-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
interval arithmetic, constraint solving, symbolic computation |
25 | Enric Mayol, Ernest Teniente |
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings, pp. 192-212, 2000, Springer, 3-540-67100-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
integrity constraint maintenance, view updating |
25 | Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi |
Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 7(5), pp. 424-437, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Temporal constraint systems, Interactive systems, Multimedia authoring, Incremental algorithms, Multimedia documents |
25 | Reem Bahgat, Samir E. AbdelRahman |
Combining Constraint Logic Programming Techniques for Solving Linear Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Constraints ![In: New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers, pp. 188-211, 1999, Springer, 3-540-67885-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Interval Reasoning, Domain Splitting, Simplex-Like Solver, Constraint Logic Programming |
25 | Jae Yeol Lee |
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 258-274, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
variational design, constructive constraint solving, graph reduction, Parametric design |
25 | Arnaud Gotlieb, Bernard Botella, Michel Rueher |
Automatic Test Data Generation Using Constraint Solving Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998, pp. 53-62, 1998, ACM, 0-89791-971-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
constraint solving techniques, structural testing, global constraints, automatic test data generation |
25 | Marc-Michel Corsini, Antoine Rauzy |
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 180-194, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Symbolic Model Checking, Constraint Languages |
25 | Michael Sannella |
Skyblue: A Multi-way Local Propagation Constraint Solver for User Interface Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, UIST 1994, Marina del Rey, CA, USA, November 2-4, 1994, pp. 137-146, 1994, ACM, 0-89791-657-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
SkyBlue, local propagation, user interface implementation, constraints, constraint hierarchies |
25 | Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas |
Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 4th International Conference, DEXA'93, Prague, Czech Republic, September 6-8, 1993, Proceedings, pp. 541-552, 1993, Springer, 3-540-57234-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Expert Systems Architecture, Constraint Satisfaction, Medical Information Systems |
25 | Kok-Phuang Tan, T. C. Tan |
An Improved Join Dependency for Efficient Constraint Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings, pp. 182-184, 1991, Springer, 3-540-54029-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Database design, join dependency, constraint checking |
25 | Kai Zercher |
Explanation-Based Generalization and Constraint Propagation with Interval Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSL ![In: Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, pp. 312-326, 1991, Springer, 3-540-53816-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Explanation-based generalization, interval labels, moderate generalization, constraint propagation |
25 | Tanmoy Chakraborty 0002, Kai Shu, H. Russell Bernard, Huan Liu 0001, Md. Shad Akhtar (eds.) |
Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![Springer, 978-3-030-73695-8 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Mohammed Azhan, Mohammad Ahmad |
LaDiff ULMFiT: A Layer Differentiated Training Approach for ULMFiT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 54-61, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Parth Patwa, Shivam Sharma, Srinivas PYKL, Vineeth Guptha, Gitanjali Kumari, Md. Shad Akhtar, Asif Ekbal, Amitava Das, Tanmoy Chakraborty 0002 |
Fighting an Infodemic: COVID-19 Fake News Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 21-29, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Siyao Zhou 0001, Jie Li 0054, Haiyan Ding |
Fake News and Hostile Posts Detection Using an Ensemble Learning Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 74-82, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ojasv Kamal, Adarsh Kumar, Tejas Vaidhya |
Hostility Detection in Hindi Leveraging Pre-trained Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 213-223, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Siva Sai, Alfred W. Jacob, Sakshi Kalra, Yashvardhan Sharma |
Stacked Embeddings and Multiple Fine-Tuned XLM-RoBERTa Models for Enhanced Hostility Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 224-235, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Xiangyang Li, Yu Xia, Xiang Long, Zheng Li, Sujian Li |
Exploring Text-Transformers in AAAI 2021 Shared Task: COVID-19 Fake News Detection in English. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 106-115, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ben Chen, Bin Chen, Dehong Gao, Qijin Chen, Chengfu Huo, Xiaonan Meng, Weijun Ren, Yang Zhou |
Transformer-Based Language Model Fine-Tuning Methods for COVID-19 Fake News Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 83-92, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ipek Baris, Zeyd Boukhers |
ECOL: Early Detection of COVID Lies Using Content, Prior Knowledge and Source Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 141-152, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Boshko Koloski, Timen Stepisnik Perdih, Senja Pollak, Blaz Skrlj |
Identification of COVID-19 Related Fake News via Neural Stacking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 177-188, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Omar Sharif, Mohammed Moshiul Hoque |
Identification and Classification of Textual Aggression in Social Media: Resource Creation and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 9-20, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ashwin Singh, Rudraroop Ray |
Identifying Offensive Content in Social Media Posts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 1-8, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Arkadipta De, Venkatesh Elangovan, Kaushal Kumar Maurya, Maunendra Sankar Desarkar |
Coarse and Fine-Grained Hostility Detection in Hindi Posts Using Fine Tuned Multilingual Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 201-212, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yejin Bang, Etsuko Ishii, Samuel Cahyawijaya, Ziwei Ji, Pascale Fung |
Model Generalization on COVID-19 Fake News Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 128-140, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Tathagata Raha, Sayar Ghosh Roy, Ujwal Narayan, Zubair Abid, Vasudeva Varma |
Task Adaptive Pretraining of Transformers for Hostility Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 236-243, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Shreyash Arya, Hridoy Sankar Dutta |
Revealing the Blackmarket Retweet Game: A Hybrid Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 30-41, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Varad Bhatnagar, Prince Kumar, Sairam Moghili, Pushpak Bhattacharyya |
Divide and Conquer: An Ensemble Approach for Hostile Post Detection in Hindi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 244-255, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Sourya Dipta Das, Ayan Basak, Saikat Dutta 0002 |
A Heuristic-Driven Ensemble Framework for COVID-19 Fake News Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 164-176, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Anand Zutshi, Aman Raj |
Tackling the Infodemic: Analysis Using Transformer Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 93-105, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Apurva Wani, Isha Joshi, Snehal Ishwar Khandve, Vedangi Wagh, Raviraj Joshi |
Evaluating Deep Learning Approaches for Covid19 Fake News Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 153-163, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Antti E. J. Hyvärinen, Christoph M. Wintersteiger |
Parallel Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 141-178, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown |
Selection and Configuration of Parallel Portfolios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 583-615, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Parallel Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 237-282, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Marijn J. H. Heule, Oliver Kullmann, Armin Biere |
Cube-and-Conquer for Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 31-59, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Inês Lynce, Vasco M. Manquinho, Ruben Martins |
Parallel Maximum Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 61-99, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Florian Lonsing, Martina Seidl |
Parallel Solving of Quantified Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 101-139, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Ted K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch |
Parallel Solvers for Mixed Integer Linear Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 283-336, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz 0002 |
Parallel Model-Based Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 547-580, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault |
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 457-507, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Maria Paola Bonacina |
Parallel Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 179-235, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Tom van Dijk, Jaco van de Pol |
Multi-core Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 509-545, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti |
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 617-632, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Alex Fukunaga, Adi Botea, Yuu Jinnai, Akihiro Kishimoto |
Parallel A* for State-Space Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 419-455, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Tomás Balyo, Carsten Sinz |
Parallel Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 3-29, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Philippe Codognet, Danny Munera, Daniel Diaz 0001, Salvador Abreu |
Parallel Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 381-417, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Andrei A. Krokhin, Stanislav Zivný (eds.) |
The Constraint Satisfaction Problem: Complexity and Approximability ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | |
Front Matter, Table of Contents, Preface, List of Authors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. i-xii, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Libor Barto, Marcin Kozik |
Absorption in Universal Algebra and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 45-77, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Andrei A. Krokhin, Stanislav Zivný |
The Complexity of Valued CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 233-266, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Libor Barto, Andrei A. Krokhin, Ross Willard |
Polymorphisms, and How to Use Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 1-44, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Konstantin Makarychev, Yury Makarychev |
Approximation Algorithms for CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 287-325, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Heng Guo 0001, Pinyan Lu |
On the Complexity of Holant Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 159-177, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Benoît Larose |
Algebra and the Complexity of Digraph CSPs: a Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 267-285, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Serge Gaspers, Sebastian Ordyniak, Stefan Szeider |
Backdoor Sets for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 137-157, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Barnaby Martin |
Quantified Constraints in Twenty Seventeen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 327-346, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Barry Hurley 0001, Lars Kotthoff, Barry O'Sullivan, Helmut Simonis |
ICON Loop Health Show Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 325-333, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Anton Dries, Tias Guns, Siegfried Nijssen, Behrouz Babaki, Thanh Le Van, Benjamin Négrevergne, Sergey Paramonov 0001, Luc De Raedt |
Modeling in MiningZinc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 257-281, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Passerini |
Learning Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 113-146, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Barry Hurley 0001, Barry O'Sullivan |
Introduction to Combinatorial Optimisation in Numberjack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 3-24, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Mirco Nanni, Lars Kotthoff, Riccardo Guidotti, Barry O'Sullivan, Dino Pedreschi |
ICON Loop Carpooling Show Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 310-324, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Lars Kotthoff |
Algorithm Selection for Combinatorial Search Problems: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 149-190, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Barry Hurley 0001, Lars Kotthoff, Yuri Malitsky, Deepak Mehta 0001, Barry O'Sullivan |
Advanced Portfolio Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 191-225, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 33126 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|