Search results for "Constraint-Solving"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Claude-Guy Quimper, Toby Walsh	The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Ola Angelsmark, Johan Thapper	Partitioning Based Algorithms for Some Colouring Problems.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Roman Barták	On Generators of Random Quasigroup Problems.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Richard J. Wallace	Analysis of Heuristic Synergies.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Igor Razgon, Amnon Meisels	A CSP Search Algorithm with Reduced Branching Factor.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Emmanuel Coquery, François Fages	A Type System for CHR.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	Among, Common and Disjoint Constraints.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Christian Schulte 0001, Guido Tack	Views and Iterators for Generic Constraint Implementations.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Krzysztof R. Apt, François Fages, Francesca Rossi 0001, Péter Szeredi, József Váncza (eds.)	Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers	CSCLP	2004	DBLP DOI BibTeX RDF
18	Arathi Ramani, Igor L. Markov	Automatically Exploiting Symmetries in Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Venkata Praveen Guddeti, Berthe Y. Choueiry	Characterization of a New Restart Strategy for Randomized Backtrack Search.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Adrian Petcu, Boi Faltings	A Value Ordering Heuristic for Local Search in Distributed Resource Allocation.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Arnaud Lallouet	A Note on Bilattices and Open Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo	A System Prototype for Solving Multi-granularity Temporal CSP.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Alan Holland, Barry O'Sullivan	Super Solutions for Combinatorial Auctions.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Viet Nguyen, Djamila Sam-Haroud, Boi Faltings	Dynamic Distributed BackJumping.	CSCLP	2004	DBLP DOI BibTeX RDF	Distributed Systems, Multi-Agent Systems, Search, Constraint Satisfaction
18	Igor Razgon, Amnon Meisels	Pruning by Equally Constrained Variables.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Brahim Hnich, Steven D. Prestwich, Evgeny Selensky	Constraint-Based Approaches to the Covering Test Problem.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Ola Angelsmark, Johan Thapper	Algorithms for the Maximum Hamming Distance Problem.	CSCLP	2004	DBLP DOI BibTeX RDF
18	J. Christopher Beck, Patrick Prosser, Richard J. Wallace	Trying Again to Fail-First.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Nicolas Beldiceanu, Irit Katriel, Sven Thiel	GCC-Like Restrictions on the Same Constraint.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Yaling Zheng, Berthe Y. Choueiry	New Structural Decomposition Techniques for Constraint Satisfaction Problems.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Armin Wolf	Better Propagation for Non-preemptive Single-Resource Constraint Problems.	CSCLP	2004	DBLP DOI BibTeX RDF
18	Alessandro Dal Palù, Agostino Dovier, Federico Fogolari	Protein Folding in CLP(FD) with Empirical Contact Energies.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Krzysztof R. Apt, Peter Zoeteweij	A Comparative Study of Arithmetic Constraints on Integer Intervals.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Péter Szeredi	Teaching Constraints through Logic Puzzles.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings	Clustering for Disconnected Solution Sets of Numerical CSPs.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Sebastian Brand, Rosella Gennari, Maarten de Rijke	Constraint Methods for Modal Satisfiability.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Roman Barták, Roman Mecl	Implementing Propagators for Tabular Constraints.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Carlos Castro 0001, Éric Monfroy, Christophe Ringeissen	A Rule Language for Interaction.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Roman Barták, Tomás Müller, Hana Rudová	A New Approach to Modeling and Solving Minimal Perturbation Problems.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan	Tradeoff Generation Using Soft Constraints.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Nicoleta Neagu, Stefano Bistarelli, Boi Faltings	Experimental Evaluation of Interchangeability in Soft CSPs.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Armin Wolf	Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Zsófia Ruttkay, Zhisheng Huang, Anton Eliëns	Gestures for Embodied Agents with Logic Programming.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali	Learning Approximate Consistencies.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Stefano Bistarelli, Francesca Rossi 0001, Isabella Pilan	Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Panagiotis Tsarchopoulos 0002	Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming.		1997	RDF
18	Peter Barth	Logic-based 0-1 constraint solving in constraint logic programming.		1995	RDF
18	Roman Gross, Robert W. Marti	Compile Time Constraint Solving in a Constraint Database System.	ILPS Workshop: Constraints and Databases	1994	DBLP BibTeX RDF
18	Ugo Montanari, Francesca Rossi 0001	Finite Domain Constraint Solving and Constraint Logic Programming.	WCLP	1991	DBLP BibTeX RDF
18	Jin-Kao Hao, Jean-Jacques Chabrier	Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic Programming.	SPLT	1990	DBLP BibTeX RDF
18	Jin-Kao Hao, Jean-Jacques Chabrier	Combining partial evaluation and constraint solving: a new approach to constraint logic programming.	TAI	1990	DBLP DOI BibTeX RDF
17	Victor Noël, Antonis C. Kakas	Gorgias-C: Extending Argumentation with Constraint Solving.	LPNMR	2009	DBLP DOI BibTeX RDF
17	François Fages, Aurélien Rizk	From Model-Checking to Temporal Logic Constraint Solving.	CP	2009	DBLP DOI BibTeX RDF
17	Andrey Rybalchenko, Viorica Sofronie-Stokkermans	Constraint Solving for Interpolation.	VMCAI	2007	DBLP DOI BibTeX RDF
17	Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Data Abstraction and Constraint Solving for Conformance Testing.	APSEC	2005	DBLP DOI BibTeX RDF
17	Detlef Kähler, Ralf Küsters	Constraint Solving for Contract-Signing Protocols.	CONCUR	2005	DBLP DOI BibTeX RDF
17	Nathan Linger, Tim Sheard	Binding-Time Analysis for MetaML via Type Inference and Constraint Solving.	TACAS	2004	DBLP DOI BibTeX RDF
17	Jian Zhang, Chen Xu, Xiaoliang Wang	Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques.	SEFM	2004	DBLP DOI BibTeX RDF
17	Michael Colón, Sriram Sankaranarayanan 0001, Henny Sipma	Linear Invariant Generation Using Non-linear Constraint Solving.	CAV	2003	DBLP DOI BibTeX RDF
17	Hubert Comon, Claude Kirchner	Constraint Solving on Terms.	CCL	1999	DBLP BibTeX RDF
17	Broderick Crawford, Ricardo Soto 0001, Kathleen Crawford, Franklin Johnson, Claudio León de la Barra, Sergio Galdames	Experiential Solving: Towards a Unified Autonomous Search Constraint Solving Approach.	HCI (27)	2015	DBLP DOI BibTeX RDF
17	Clemens Zeidler, Christof Lutteroth, Gerald Weber	Constraint solving for beautiful user interfaces: how solving strategies support layout aesthetics.	CHINZ	2012	DBLP DOI BibTeX RDF
17	Iddo Hanniel, Kirk Haller	Solving global geometric constraints on free-form curves.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF
17	Christophe Jermann, Hiroshi Hosobe	A constraint hierarchies approach to geometric constraints on sketches.	SAC	2008	DBLP DOI BibTeX RDF
17	Jinbo Huang	Universal Booleanization of Constraint Models.	CP	2008	DBLP DOI BibTeX RDF
17	Slim Abdennadher, Ingi Sobhi	Generation of Rule-Based Constraint Solvers: Combined Approach.	LOPSTR	2007	DBLP DOI BibTeX RDF
16	Mohd Fadzil Hassan 0001, Dave Robertson 0001	Constraint Relaxation Approach for Over-Constrained Agent Interaction.	PRICAI	2008	DBLP DOI BibTeX RDF	Over-constrained agent interaction, brittle agent protocol, Distributed Partial CSP and agent protocol
16	Andreas Bauer 0002, Markus Pister 0001, Michael Tautschnig	Tool-support for the analysis of hybrid systems and models.	DATE	2007	DBLP DOI BibTeX RDF
16	Aaron R. Bradley, Zohar Manna	Verification Constraint Problems with Strengthening.	ICTAC	2006	DBLP DOI BibTeX RDF
16	Wolfgang Lux	Adding Linear Constraints over Real Numbers to Curry.	FLOPS	2001	DBLP DOI BibTeX RDF
16	Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang	A Hybrid Method for Solving Geometric Constraint Problems.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
16	Robert Rodosek, Mark Wallace 0001	A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems.	CP	1998	DBLP DOI BibTeX RDF
16	Thomas H. Kolbe	Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features.	CP	1998	DBLP DOI BibTeX RDF
16	Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won	Performance of a Comprehensive and Efficient Constraint Library Based on Local Search.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF
16	Mats Carlsson, Greger Ottosson, Björn Carlson	An Open-Ended Finite Domain Constraint Solver.	PLILP	1997	DBLP DOI BibTeX RDF	Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains
16	Ashutosh Gupta 0001, Rupak Majumdar, Andrey Rybalchenko	From Tests to Proofs.	TACAS	2009	DBLP DOI BibTeX RDF
14	Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux	Using the witness method to detect rigid subsystems of geometric constraints in CAD.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF	W-decomposition, rigidity theory, witness configuration, geometric constraints solving, Jacobian matrix
14	Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid	Efficient solving of structural constraints.	ISSTA	2008	DBLP DOI BibTeX RDF	model checking, backtracking, systematic testing
14	Martin Sulzmann, Edmund S. L. Lam	Parallel execution of multi-set constraint rewrite rules.	PPDP	2008	DBLP DOI BibTeX RDF
14	Matthieu Petit, Arnaud Gotlieb	Uniform Selection of Feasible Paths as a Stochastic Constraint Problem.	QSIC	2007	DBLP DOI BibTeX RDF
14	Ricardo Corin, Ari Saptawijaya, Sandro Etalle	PS-LTL for Constraint-Based Security Protocol Analysis.	ICLP	2005	DBLP DOI BibTeX RDF
14	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
14	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
14	Jörgen Gustavsson, Josef Svenningsson	Constraint Abstractions.	PADO	2001	DBLP DOI BibTeX RDF
14	Jianjun Oung, Meera Sitharam, Brandon Moro, Adam Arbree	FRONTIER: fully enabling geometric constraints for feature-based modeling and assembly.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF
14	Yan Georget, Philippe Codognet	Compiling Semiring-Based Constraints with clp (FD, S).	CP	1998	DBLP DOI BibTeX RDF
14	Bing Liu 0001, Yuen-Wah Ku	ConstraintLisp: an object-oriented constraint programming language.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
14	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	SPIN	2009	DBLP DOI BibTeX RDF
14	Ye Zhang 0002, Torben Amtoft, Flemming Nielson	From generic to specific: off-line optimization for a general constraint solver.	GPCE	2008	DBLP DOI BibTeX RDF	off-line optimization, solver technology, constraints, program analysis, datalog, unification
14	Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez	Programming with TOY(FD).	CP	2005	DBLP DOI BibTeX RDF
14	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	An efficient finite-domain constraint solver for circuits.	DAC	2004	DBLP DOI BibTeX RDF	bit-vector arithmetic, constraints, integer linear programming, decision procedures, boolean satisfiability, circuits, design verification
14	Matthias M. Hölzl, John N. Crossley	Constraint-Lambda Calculi.	FroCoS	2002	DBLP DOI BibTeX RDF
14	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Semiring-based contstraint logic programming: syntax and semantics.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	semantics, constraints, soft constraints
14	Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning	Solving Disjunctive Constraints for Interactive Graphical Applications.	CP	2001	DBLP DOI BibTeX RDF
14	Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap	Optimizing Compilation of CLP(R).	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	source-to-source program transformation, compilation, program analysis, constraint logic programming, program optimization
13	Jia-Huai You	Towards an Embedded Approach to Declarative Problem Solving in ASP.	LPNMR	2009	DBLP DOI BibTeX RDF
12	Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou	Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving".	IEEE Trans. Software Eng.	2024	DBLP DOI BibTeX RDF
12	Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux	Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving.	CoRR	2024	DBLP DOI BibTeX RDF
12	Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi 0001	Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving.	ACM Trans. Softw. Eng. Methodol.	2024	DBLP DOI BibTeX RDF
12	Amin Abdulrahman, Hanno Becker, Matthias J. Kannwischer, Fabien Klein	Fast and Clean: Auditable high-performance assembly via constraint solving.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2024	DBLP DOI BibTeX RDF
12	Xirui Pan, Zhuyuan Cheng, Yonggang Zhang	Two Improved Constraint-Solving Algorithms Based on lmaxRPC3rm.	Symmetry	2023	DBLP DOI BibTeX RDF
12	Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li 0017, Yuming Zhou	Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
12	Camille Salinesi, Raúl Mazo, Daniel Diaz 0001, Olfa Djebbi	Using Integer Constraint Solving in Reuse Based Requirements Engineering.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jonathan Winton, Francis Palma	Improving Software Requirements Prioritization through the Lens of Constraint Solving.	CoRR	2023	DBLP DOI BibTeX RDF
12	Alexander Felfernig, Viet-Man Le, Sebastian Lubos	Conjunctive Query Based Constraint Solving For Feature Model Configuration.	CoRR	2023	DBLP DOI BibTeX RDF
12	Roberto Amadini	A Survey on String Constraint Solving.	ACM Comput. Surv.	2023	DBLP DOI BibTeX RDF
12	Shaowei Cai 0001, Zhenbang Chen, Ji Wang 0001, Bohua Zhan, Yongwang Zhao	Preface to the Special Issue on Constraint Solving and Theorem Proving.	Int. J. Softw. Informatics	2023	DBLP DOI BibTeX RDF
12	Ziqi Shuai, Zhenbang Chen, Yufeng Zhang 0001, Hengbiao Yu, Ji Wang 0001	Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.	APSEC	2023	DBLP DOI BibTeX RDF