default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBrahim Hnich
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j45]Ali Ben Mrad
, Brahim Hnich:
Intelligent attribution modeling for enhanced digital marketing performance. Intell. Syst. Appl. 21: 200337 (2024)- 2023
- [j44]Salma Chaieb, Ali Ben Mrad, Brahim Hnich:
Obsolete personal information update system: towards the prevention of falls in the elderly. Appl. Intell. 53(14): 18061-18084 (2023) - [j43]Marwa Thabet, Mouhebeddine Berrima, Brahim Hnich:
A secure optimal placement strategy based on Monte Carlo simulation and hypothesis testing. Future Gener. Comput. Syst. 138: 89-103 (2023) - [j42]Marwa Thabet, Brahim Hnich, Mouhebeddine Berrima:
Investigating, quantifying and controlling the co-location attack's conditional value at risk of VM placement strategies. Future Gener. Comput. Syst. 149: 464-477 (2023) - [j41]Ahmed Aboud, Haifa Touati, Brahim Hnich:
Hybrid 802.11p-cellular architecture for NDN-based VANET. Int. J. Commun. Syst. 36(3) (2023) - 2022
- [j40]Salma Chaieb, Brahim Hnich, Ali Ben Mrad:
Data obsolescence detection in the light of newly acquired valid observations. Appl. Intell. 52(14): 16532-16554 (2022) - [j39]Mohamed Souissi, Brahim Hnich:
A safe sequential screening technique for solving multi-attribute choice problems under ranked weights. Comput. Appl. Math. 41(4) (2022) - [j38]Haifa Touati, Ahmed Aboud, Brahim Hnich:
Named Data Networking-based communication model for Internet of Things using energy aware forwarding strategy and smart sleep mode. Concurr. Comput. Pract. Exp. 34(3) (2022) - [j37]Salma Chaieb, Ali Ben Mrad, Brahim Hnich:
From Personal Observations to Recommendation of Tailored Interventions based on Causal Reasoning: a case study of Falls Prevention in Elderly Patients. Int. J. Medical Informatics 163: 104765 (2022) - [j36]Marwa Thabet, Brahim Hnich, Mouhebeddine Berrima:
A sampling-based online Co-Location-Resistant Virtual Machine placement strategy. J. Syst. Softw. 187: 111215 (2022) - [c55]Marwa Thabet, Mouhebeddine Berrima, Brahim Hnich:
Approximate Co-Location-Resistant VM Placement Strategy With Low Energy Consumption. KES 2022: 3761-3769 - [c54]Salma Chaieb, Ali Ben Mrad, Brahim Hnich:
A Strategic Approach Based on AND-OR Recommendation Trees for Updating Obsolete Information. MDAI 2022: 95-107 - 2021
- [c53]Ahmed Aboud, Haifa Touati, Brahim Hnich:
Handover Optimization for VANET in 5G Networks. CCNC 2021: 1-2 - [c52]Ahmed Aboud, Haifa Touati, Brahim Hnich:
Markov Chain based Predictive Model for Efficient handover Management in Vehicle-to-Infrastructure Communications. IWCMC 2021: 1117-1122 - [c51]Salma Chaieb, Ali Ben Mrad, Brahim Hnich:
Interventions Recommendation System for Preventing future Falls in Older Adults. KES 2021: 192-201 - [c50]Salma Chaieb, Ali Ben Mrad, Brahim Hnich:
Probabilistic causal model for the detection of obsolete personal information to prevent falls in the elderly. KES 2021: 1170-1179 - [i14]Salma Chaieb, Ali Ben Mrad, Brahim Hnich, Véronique Delcroix:
Data Obsolescence Detection in the Light of Newly Acquired Valid Observations. CoRR abs/2101.07067 (2021) - [i13]Salma Chaieb, Brahim Hnich, Ali Ben Mrad:
Obsolete Personal Information Update System for the Prevention of Falls among Elderly Patients. CoRR abs/2101.10132 (2021) - 2020
- [c49]Salma Chaieb, Ali Ben Mrad, Brahim Hnich, Véronique Delcroix:
Obsolete Information Detection Using a Bayesian Networks Approach. ISDA 2020: 1094-1104
2010 – 2019
- 2019
- [j35]Ahmed Aboud, Haifa Touati, Brahim Hnich:
Efficient forwarding strategy in a NDN-based internet of things. Clust. Comput. 22(3): 805-818 (2019) - [c48]Ahmed Aboud, Haifa Touati, Brahim Hnich:
Power Saving Extension for the NDN-Based GIF Protocol for the Internet of Things. IWCMC 2019: 525-530 - [i12]Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
A Commentary on "Breaking Row and Column Symmetries in Matrix Models". CoRR abs/1910.01423 (2019) - 2018
- [j34]Imen Zghidi, Brahim Hnich, Abdelwaheb Rebaï:
Introducing statistical consistency for infinite chance constraints. Ann. Math. Artif. Intell. 83(2): 165-181 (2018) - [j33]Imen Zghidi, Brahim Hnich, Abdelwaheb Rebaï:
Correction to: Introducing statistical consistency for infinite chance constraints. Ann. Math. Artif. Intell. 83(2): 183 (2018) - [j32]Imen Zghidi, Brahim Hnich, Abdelwaheb Rebaï:
Modeling uncertainties with chance constraints. Constraints An Int. J. 23(2): 196-209 (2018) - [j31]Burak Gökgür, Brahim Hnich, Selin Özpeynirci:
Parallel machine scheduling with tool loading: a constraint programming approach. Int. J. Prod. Res. 56(16): 5541-5557 (2018) - [c47]Amir Zghidi, Imed Hammouda, Brahim Hnich:
Towards a formal API assessment. ICSE (Companion Volume) 2018: 398-399 - 2017
- [c46]Amir Zghidi, Imed Hammouda, Brahim Hnich, Eric Knauss:
On the Role of Fitness Dimensions in API Design Assessment - An Empirical Investigation. WAPI@ICSE 2017: 19-22 - 2016
- [j30]Cem Evrendilek, Burkay Genç, Brahim Hnich:
Covering points with minimum/maximum area orthogonally convex polygons. Comput. Geom. 54: 32-44 (2016) - [j29]Amine Lamine, Mahdi Khemakhem, Brahim Hnich, Habib Chabchoub:
Solving constrained optimization problems by solution-based decomposition search. J. Comb. Optim. 32(3): 672-695 (2016) - [c45]Brahim Hnich, Faisal R. Al-Osaimi, Ata Sasmaz, Ozkan Sayin, Amine Lamine, Majed AlOtaibi:
Smart online vehicle tracking system for security applications. IEEE BigData 2016: 1724-1733 - 2015
- [j28]Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steve Prestwich:
Confidence-based reasoning in stochastic constraint programming. Artif. Intell. 228: 129-152 (2015) - [j27]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Hybrid metaheuristics for stochastic constraint programming. Constraints An Int. J. 20(1): 57-76 (2015) - 2014
- [j26]Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich, Brahim Hnich:
Piecewise linear lower and upper bounds for the standard normal first order loss function. Appl. Math. Comput. 231: 489-502 (2014) - [j25]Cem Evrendilek, Burkay Genç, Brahim Hnich:
Covering points with orthogonal polygons. Discret. Appl. Math. 164: 92-99 (2014) - [j24]Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim, Brahim Hnich:
Confidence-based optimisation for the newsvendor problem under binomial, Poisson and exponential demand. Eur. J. Oper. Res. 239(3): 674-684 (2014) - 2013
- [j23]Cemalettin Öztürk, Semra Tunali, Brahim Hnich, M. Arslan Ornek:
Balancing and scheduling of flexible mixed model assembly lines. Constraints An Int. J. 18(3): 434-469 (2013) - [c44]Cemalettin Öztürk, Semra Tunali, Brahim Hnich, M. Arslan Ornek:
Cyclic Scheduling of Flexible Mixed Model Assembly Lines. MIM 2013: 857-862 - [i11]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing. CoRR abs/1307.6102 (2013) - 2012
- [j22]Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich:
Filtering algorithms for global chance constraints. Artif. Intell. 189: 69-94 (2012) - [j21]Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
Constraint programming for stochastic inventory systems under shortage cost. Ann. Oper. Res. 195(1): 49-71 (2012) - [j20]Steven D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim:
Partial symmetry breaking by local search in the group. Constraints An Int. J. 17(2): 148-171 (2012) - [i10]Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim, Brahim Hnich:
Confidence-based Optimization for the Newsvendor Problem. CoRR abs/1207.5781 (2012) - 2011
- [j19]Burkay Genç, Cem Evrendilek, Brahim Hnich:
Covering points with orthogonally convex polygons. Comput. Geom. 44(5): 249-264 (2011) - [c43]Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich:
Extensible Automated Constraint Modelling. AAAI 2011: 4-11 - [c42]Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich:
Finding (α, ϑ)-Solutions via Sampled SCSPs. IJCAI 2011: 2172-2177 - [i9]Brahim Hnich, Barbara M. Smith, Toby Walsh:
Dual Modelling of Permutation and Injection Problems. CoRR abs/1107.0038 (2011) - [i8]Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel:
Conjure Revisited: Towards Automated Constraint Modelling. CoRR abs/1109.1774 (2011) - [i7]Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich:
Confidence-based Reasoning in Stochastic Constraint Programming. CoRR abs/1110.1892 (2011) - 2010
- [j18]Cemalettin Öztürk, Semra Tunali, Brahim Hnich, M. Arslan Ornek:
Simultaneous Balancing and Scheduling of Flexible Mixed Model Assembly Lines with Sequence-Dependent Setup Times. Electron. Notes Discret. Math. 36: 65-72 (2010) - [j17]Cem Evrendilek, Burkay Genç, Brahim Hnich:
Covering oriented points in the plane with orthogonal polygons is NP-complete. Electron. Notes Discret. Math. 36: 303-310 (2010) - [j16]Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Semra Karacaer:
Scheduling internal audit activities: a stochastic combinatorial optimization problem. J. Comb. Optim. 19(3): 325-346 (2010) - [c41]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Stochastic Constraint Programming by Neuroevolution with Filtering. CPAIOR 2010: 282-286
2000 – 2009
- 2009
- [j15]Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
Filtering algorithms for the multiset ordering constraint. Artif. Intell. 173(2): 299-328 (2009) - [j14]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints. Artif. Intell. 173(11): 1054-1078 (2009) - [j13]S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Roberto Rossi:
Finding reliable solutions: event-driven probabilistic constraint programming. Ann. Oper. Res. 171(1): 77-99 (2009) - [j12]S. Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven D. Prestwich:
Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints. Constraints An Int. J. 14(2): 137-176 (2009) - [j11]Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Cahit Guran:
A note on Liu-Iwamura's dependent-chance programming. Eur. J. Oper. Res. 198(3): 983-986 (2009) - [c40]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Neuroevolutionary Inventory Control in Multi-Echelon Systems. ADT 2009: 402-413 - [c39]Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich:
Synthesizing Filtering Algorithms for Global Chance-Constraints. CP 2009: 439-453 - [c38]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Evolving Parameterised Policies for Stochastic Constraint Programming. CP 2009: 684-691 - [i6]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints. CoRR abs/0903.0211 (2009) - [i5]Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
Filtering Algorithms for the Multiset Ordering Constraint. CoRR abs/0903.0460 (2009) - [i4]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
The Parameterized Complexity of Global Constraints. CoRR abs/0903.0467 (2009) - [i3]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
SLIDE: A Useful Special Case of the CARDPATH Constraint. CoRR abs/0903.0471 (2009) - [i2]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
The Complexity of Reasoning with Global Constraints. CoRR abs/0903.1139 (2009) - [i1]Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh:
Multiset Ordering Constraints. CoRR abs/0905.3769 (2009) - 2008
- [j10]Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints. Constraints An Int. J. 13(4): 490-517 (2008) - [j9]David A. Burke, Kenneth N. Brown, Armagan Tarim, Brahim Hnich:
Learning market prices in real-time supply chain management. Comput. Oper. Res. 35(11): 3465-3478 (2008) - [c37]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh:
The Parameterized Complexity of Global Constraints. AAAI 2008: 235-240 - [c36]Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
Cost-Based Domain Filtering for Stochastic Constraint Programming. CP 2008: 235-250 - [c35]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
SLIDE: A Useful Special Case of the CARDPATH Constraint. ECAI 2008: 475-479 - [c34]Steven D. Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich:
A Cultural Algorithm for POMDPs from Stochastic Inventory Control. Hybrid Metaheuristics 2008: 16-28 - [c33]Steven D. Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich:
A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control. PPSN 2008: 559-568 - 2007
- [j8]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
The Complexity of Reasoning with Global Constraints. Constraints An Int. J. 12(2): 239-259 (2007) - [c32]Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost. CPAIOR 2007: 229-243 - [c31]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh:
Reformulating Global Constraints: The Slideand RegularConstraints. SARA 2007: 80-92 - 2006
- [j7]Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170(10): 803-834 (2006) - [j6]Brahim Hnich, Steven D. Prestwich, Evgeny Selensky, Barbara M. Smith:
Constraint Models for the Covering Test Problem. Constraints An Int. J. 11(2-3): 199-219 (2006) - [j5]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Filtering Algorithms for the NValueConstraint. Constraints An Int. J. 11(4): 271-293 (2006) - [c30]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
The ROOTS Constraint. CP 2006: 75-90 - [c29]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
The Range Constraint: Algorithms and Implementation. CPAIOR 2006: 59-73 - [c28]Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
Event-Driven Probabilistic Constraint Programming. CPAIOR 2006: 197-211 - [c27]Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven D. Prestwich:
Cost-Based Filtering for Stochastic Inventory Control. CSCLP 2006: 169-183 - [e1]Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi:
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3978, Springer 2006, ISBN 3-540-34215-X [contents] - 2005
- [c26]Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh:
Finding Diverse and Similar Solutions in Constraint Programming. AAAI 2005: 372-377 - [c25]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Filtering Algorithms for the NValue Constraint. CPAIOR 2005: 79-93 - [c24]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Among, Common and Disjoint Constraints. CSCLP 2005: 29-43 - [c23]Cormac Gebruers, Brahim Hnich, Derek G. Bridge, Eugene C. Freuder:
Using CBR to Select Solution Strategies in Constraint Programming. ICCBR 2005: 222-236 - [c22]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
The Range and Roots Constraints: Specifying Counting and Occurrence Problems. IJCAI 2005: 60-65 - [c21]Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh:
Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91 - 2004
- [j4]Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
Hybrid Modelling for Robust Solving. Ann. Oper. Res. 130(1-4): 19-39 (2004) - [j3]Brahim Hnich, Toby Walsh, Barbara M. Smith:
Dual Modelling of Permutation and Injection Problems. J. Artif. Intell. Res. 21: 357-391 (2004) - [c20]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
The Complexity of Global Constraints. AAAI 2004: 112-117 - [c19]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. CP 2004: 138-152 - [c18]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
The Tractability of Global Constraints. CP 2004: 716-720 - [c17]Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
Super Solutions in Constraint Programming. CPAIOR 2004: 157-172 - [c16]Cormac Gebruers, Alessio Guerri, Brahim Hnich, Michela Milano:
Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework. CPAIOR 2004: 380-386 - [c15]Brahim Hnich, Steven D. Prestwich, Evgeny Selensky:
Constraint-Based Approaches to the Covering Test Problem. CSCLP 2004: 172-186 - [c14]Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
Robust Solutions for Constraint Satisfaction and Optimization. ECAI 2004: 186-190 - [c13]Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. AI&M 2004 - 2003
- [b1]Brahim Hnich:
Function Variables for Constraint Programming. Uppsala University, Sweden, 2003 - [j2]Brahim Hnich:
Thesis: Function variables for constraint programming. AI Commun. 16(2): 131-132 (2003) - [c12]Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh:
Multiset Ordering Constraints. IJCAI 2003: 221-226 - 2002
- [j1]Ivica Crnkovic, Brahim Hnich, Torsten Jonsson, Zeynep Kiziltan:
Specification, implementation, and deployment of components. Commun. ACM 45(10): 35-40 (2002) - [c11]Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
Global Constraints for Lexicographic Orderings. CP 2002: 93-108 - [c10]Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh:
Breaking Row and Column Symmetries in Matrix Models. CP 2002: 462-476 - [c9]Brahim Hnich, Toby Walsh:
Models of Injection Problems. CP 2002: 781 - 2001
- [c8]Brahim Hnich:
High-Level Modelling and Reformulation of Constraint Satisfaction Problems. CP 2001: 766 - [c7]Brahim Hnich, Pierre Flener:
High-Level Reformulation of Constraint Programs. JFPLC 2001: 75-90 - [c6]Zeynep Kiziltan, Pierre Flener, Brahim Hnich:
Towards Inferring Labelling Heuristics for CSP Application Domains. KI/ÖGAI 2001: 275-289 - [c5]Pierre Flener, Brahim Hnich, Zeynep Kiziltan:
Compiling High-Level Type Constructors in Constraint Programming. PADL 2001: 229-244 - [c4]Pierre Flener, Brahim Hnich, Zeynep Kiziltan:
A Meta-heuristic for Subset Problems. PADL 2001: 274-287
1990 – 1999
- 1999
- [c3]Faouzi Alaya Cheikh, Bogdan Cramariuc, Carole Reynaud, Meng Quinghong, Dragos-Adrian Badea, Brahim Hnich, Moncef Gabbouj, Petteri Kerminen, Timo Mäkinen, Hannu Jaakkola:
MUVIS: a system for content-based indexing and retrieval in large image databases. Storage and Retrieval for Image and Video Databases (SPIE) 1999: 98-107 - 1998
- [c2]Pierre Flener, Hamza Zidoum, Brahim Hnich:
Schema-Guided Synthesis of Constraint Logic Programs. ASE 1998: 168-176 - [c1]Hamza Zidoum, Pierre Flener, Brahim Hnich:
Schema-Guided Synthesis of CLP Programs. LOPSTR 1998: 309-312
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
