Search results for "Constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Terry Cumaranatunge, Ethan V. Munson	Memory Scalability in Constraint-Based Multimedia Style Sheet Systems.	EP	1998	DBLP DOI BibTeX RDF
26	Nagu R. Dhanwada, Ranga Vemuri	Constraint Allocation in Analog System Synthesis.	VLSI Design	1998	DBLP DOI BibTeX RDF
26	Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003	Error-Correcting Source Code.	CP	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.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
26	Marianne Baudinet, Jan Chomicki, Pierre Wolper	Constraint-Generating Dependencies.	ICDT	1995	DBLP DOI BibTeX RDF
26	Sin Yeung Lee, Tok Wang Ling	Improving Integrity Constraint Checking for Stratified Deductive Databases.	DEXA	1994	DBLP DOI BibTeX RDF
26	Pierre Lim, Peter J. Stuckey	A Constraint Logic Programming Shell.	PLILP	1990	DBLP DOI BibTeX RDF
26	Paul Maier, Martin Sachenbacher	Constraint Optimization and Abstraction for Embedded Intelligent Systems.	CPAIOR	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.	CP	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.	CPAIOR	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.	CP	2004	DBLP DOI BibTeX RDF	branching strategies, search, constraint reasoning
26	Viet Nguyen, Djamila Sam-Haroud, Boi Faltings	Dynamic Distributed BackJumping.	CSCLP	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.	CODES	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.	Constraints An Int. J.	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.	ICLP	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.	MoDELS	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.	CP	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.	Math. Program.	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.	IWCIA	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.	KDD	2008	DBLP DOI BibTeX RDF	constraint programming, itemset mining
25	Arnaud Gotlieb, Matthieu Petit	Constraint Reasoning in Path-Oriented Random Testing.	COMPSAC	2008	DBLP DOI BibTeX RDF	Random Testing, Constraint reasoning, Path Testing
25	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Program analysis as constraint solving.	PLDI	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.	SAC	2007	DBLP DOI BibTeX RDF	web services, orchestration, choreography, Reo, constraint automata
25	Malek Mouhoub, Amrudee Sukpan	Solving conditional and composite constraint satisfaction problems.	SAC	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.	SAC	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.	ACM Great Lakes Symposium on VLSI	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.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Symmetry, Constraint satisfaction problems
25	Nikolai Kosmatov	A constraint solver for sequences and its applications.	SAC	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.	DAC	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.	AAMAS	2005	DBLP DOI BibTeX RDF	constraint satisfaction
25	Robert P. Bosch Jr., Michael A. Trick	Constraint Programming and Hybrid Formulations for Three Life Designs.	Ann. Oper. Res.	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.	ACM Trans. Comput. Log.	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.	Int. J. Softw. Tools Technol. Transf.	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.	Diagrams	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.	COORDINATION	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.	PG	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.	AICCSA	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.	ISSAC	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.	FoIKS	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.	Multim. Syst.	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.	New Trends in Constraints	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.	Automated Deduction in Geometry	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.	ISSTA	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.	ESOP	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.	ACM Symposium on User Interface Software and Technology	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.	DEXA	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.	ICCI	1991	DBLP DOI BibTeX RDF	Database design, join dependency, constraint checking
25	Kai Zercher	Explanation-Based Generalization and Constraint Propagation with Interval Labels.	EWSL	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	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
25	Mohammed Azhan, Mohammad Ahmad	LaDiff ULMFiT: A Layer Differentiated Training Approach for ULMFiT.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
25	Ojasv Kamal, Adarsh Kumar, Tejas Vaidhya	Hostility Detection in Hindi Leveraging Pre-trained Language Models.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
25	Ipek Baris, Zeyd Boukhers	ECOL: Early Detection of COVID Lies Using Content, Prior Knowledge and Source Information.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
25	Omar Sharif, Mohammed Moshiul Hoque	Identification and Classification of Textual Aggression in Social Media: Resource Creation and Evaluation.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
25	Ashwin Singh, Rudraroop Ray	Identifying Offensive Content in Social Media Posts.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
25	Yejin Bang, Etsuko Ishii, Samuel Cahyawijaya, Ziwei Ji, Pascale Fung	Model Generalization on COVID-19 Fake News Detection.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
25	Shreyash Arya, Hridoy Sankar Dutta	Revealing the Blackmarket Retweet Game: A Hybrid Approach.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
25	Anand Zutshi, Aman Raj	Tackling the Infodemic: Analysis Using Transformer Based Models.	CONSTRAINT@AAAI	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.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
25	Antti E. J. Hyvärinen, Christoph M. Wintersteiger	Parallel Satisfiability Modulo Theories.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown	Selection and Configuration of Parallel Portfolios.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli	Parallel Answer Set Programming.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Marijn J. H. Heule, Oliver Kullmann, Armin Biere	Cube-and-Conquer for Satisfiability.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Inês Lynce, Vasco M. Manquinho, Ruben Martins	Parallel Maximum Satisfiability.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Florian Lonsing, Martina Seidl	Parallel Solving of Quantified Boolean Formulas.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Ted K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch	Parallel Solvers for Mixed Integer Linear Optimization.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz 0002	Parallel Model-Based Diagnosis.	Handbook of Parallel Constraint Reasoning	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.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Maria Paola Bonacina	Parallel Theorem Proving.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Tom van Dijk, Jaco van de Pol	Multi-core Decision Diagrams.	Handbook of Parallel Constraint Reasoning	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.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Alex Fukunaga, Adi Botea, Yuu Jinnai, Akihiro Kishimoto	Parallel A* for State-Space Search.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Tomás Balyo, Carsten Sinz	Parallel Satisfiability.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Philippe Codognet, Danny Munera, Daniel Diaz 0001, Salvador Abreu	Parallel Local Search.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
25	Andrei A. Krokhin, Stanislav Zivný (eds.)	The Constraint Satisfaction Problem: Complexity and Approximability	The Constraint Satisfaction Problem	2017	DBLP BibTeX RDF
25		Front Matter, Table of Contents, Preface, List of Authors.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
25	Libor Barto, Marcin Kozik	Absorption in Universal Algebra and CSP.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
25	Andrei A. Krokhin, Stanislav Zivný	The Complexity of Valued CSPs.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
25	Libor Barto, Andrei A. Krokhin, Ross Willard	Polymorphisms, and How to Use Them.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
25	Konstantin Makarychev, Yury Makarychev	Approximation Algorithms for CSPs.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
25	Heng Guo 0001, Pinyan Lu	On the Complexity of Holant Problems.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
25	Benoît Larose	Algebra and the Complexity of Digraph CSPs: a Survey.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
25	Serge Gaspers, Sebastian Ordyniak, Stefan Szeider	Backdoor Sets for CSP.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
25	Barnaby Martin	Quantified Constraints in Twenty Seventeen.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
25	Barry Hurley 0001, Lars Kotthoff, Barry O'Sullivan, Helmut Simonis	ICON Loop Health Show Case.	Data Mining and Constraint Programming	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.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
25	Andrea Passerini	Learning Modulo Theories.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
25	Barry Hurley 0001, Barry O'Sullivan	Introduction to Combinatorial Optimisation in Numberjack.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
25	Mirco Nanni, Lars Kotthoff, Riccardo Guidotti, Barry O'Sullivan, Dino Pedreschi	ICON Loop Carpooling Show Case.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
25	Lars Kotthoff	Algorithm Selection for Combinatorial Search Problems: A Survey.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
25	Barry Hurley 0001, Lars Kotthoff, Yuri Malitsky, Deepak Mehta 0001, Barry O'Sullivan	Advanced Portfolio Techniques.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF